Slim Abdennadher, Heribert Schütz
Model Generation with Existentially Quantified Variables and Constraints
PPDP, 1997.
@inproceedings{ALP-1997-AbdennadherS, author = "Slim Abdennadher and Heribert Schütz", booktitle = "{Proceedings of the Sixth International Joint Conference on Algebraic and Logic Programming}", doi = "10.1007/BFb0027015", isbn = "3-540-63459-2", pages = "256--272", publisher = "{Springer-Verlag}", series = "{Lecture Notes in Computer Science}", title = "{Model Generation with Existentially Quantified Variables and Constraints}", volume = 1298, year = 1997, }