"Iterative and Incremental Model Generation by Logic Solvers."

Oszkár Semeráth, András Vörös, Dániel Varró (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics