by Matt Kaufmann, Panagiotis Manolios, J. Strother Moore
"Computer-Aided Reasoning: An Approach is a textbook introduction to computer-aided reasoning. It can be used in graduate and upper-division undergraduate courses on Software Engineering or Formal…