DMCA

Promoting constraints to first-class status (2000)

by Tobias Müller
Venue:In: Proceedings of the First International Conference on Computational Logic
Citations:5 - 1 self