"Symbolic Model Generation for Graph Properties."

Sven Schneider, Leen Lambers, Fernando Orejas (2017)
a service of Schloss Dagstuhl - Leibniz Center for Informatics