"Direct finite first-order model generation with negative constraint ..."

Olga Shumsky et al. (1997)
a service of Schloss Dagstuhl - Leibniz Center for Informatics