Computer-Aided Reasoning, Volume 1 by Matt Kaufmann, Panagiotis Manolios & J. Strother Moore