Detecting Logical Inconsistencies (1996)

by M Mazure, L Sais, E Gregoire
Venue:In Proc. of the Fourth Int’l Symposium on Artificial Intelligence and Mathematics