Kroening, D Decision procedures: An algorithmic point of view. 2nd. Edition. - Berlin Springer 2016 - xxi, 356p. ISBN: 9783662504963 Subjects--Topical Terms: Decision TheoryMathematics