Computer-Aided Reasoning: An Approach, Matt Kaufmann