Computer aided reasoning an approach - Kaufmann, Matt; Manolios, Panagiotis; Moore, J Strother 1947- (Kluwer, 2000)