"Model Generation with Existentially Quantified Variables and Constraints."

Slim Abdennadher, Heribert Schütz (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics