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