.:. Browse > List by authors > Bonacina .:.

1 document

New results on rewrite-based satisfiability procedures Armando A., Bonacina M. P., Ranise S., Schulz S. ACM Transactions on Computational Logic 10, 1 (2009) Article 4, 51 pages [inria-00576862 - version 1]