Promoting constraints to first-class status (2000)

by T Muller
Venue:In: Proceedings of the First International Conference on Computational Logic