Analyzing context-free grammars using an incremental SAT solver (2008)

by R Axelsson, K Heljanko, M Lange
Venue:In ICALP’08, volume 5126 of LNCS