"Analyzing Context-Free Grammars Using an Incremental SAT Solver."

Roland Axelsson, Keijo Heljanko, Martin Lange (2008)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics