Clark Barrett. "Decision Procedures: An Algorithmic Point of View, " by Daniel Kroening and Ofer Strichman, Springer-Verlag, 2008. Journal of Automated Reasoning, 51(4):453-456, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.