Rewriting models of boolean programs (2006)

by A Bouajjani, J Esparza
Venue:of Lecture Notes in Computer Science