Detecting logical inconsistencies (1996)

by Bertrand MAZURE, Lakhdar SAIS, Eric GREGOIRE
Venue:In Proceedings of the Fourth International Symposium on Artificial Intelligence and Mathematics(AI/Math’96), pages 116–121, Fort Lauderdale (FL-USA