Computer-aided reasoning: An approach (2000)

by Matt Kaufmann, Panagiotis Manolios, J Strother Moore