Decision Procedures. (2008)

by D Kroening, O Strichman