Kroening, Daniel Decision procedures: an algorithmic point of view - 2nd ed. - Berlin Springer 2016 - xxi, 356p. ISBN: 9783662504963 Subjects--Topical Terms: Computer science.Software engineering. Dewey Class. No.: 004.0151 KRO/D