Computer-Aided Reasoning: An Approach (2000)

by M Kaufmann, P Manolios, J S Moore