Decision Procedures An Algorithmic Point of View - Kroening, Daniel; Strichman, Ofer.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2008)
Keywords: Turing machines; Computational complexity; Computer Science; Artificial Intelligence (incl. Robotics); Logics and Meanings of Programs; Mathematical Logic and Formal Languages; Software Engineering; Theory of Computation