Model elimination without contrapositives and its application to PTTP - Baumgartner, Peter; Furbach, Ulrich 1948- (Fachberichte Informatik, 1993)