"Efficient Model Generation through Compilation."

Heribert Schütz, Tim Geisler (1996)
a service of Schloss Dagstuhl - Leibniz Center for Informatics