"Blocking and Other Enhancements for Bottom-Up Model Generation Methods."

Peter Baumgartner, Renate A. Schmidt (2006)
a service of Schloss Dagstuhl - Leibniz Center for Informatics