DMCA

Rewriting models of Boolean programs (2006)

by Ahmed Bouajjani , Javier Esparza
Venue:In Proc. Intern. Conf. on Rewriting Techniques and Applications (RTA’06), volume 4098 of LNCS
Citations:14 - 5 self