Emmanuel Kounalis, Pascal Urso. Mechanizing Proofs of Integrity Constraints in the Situation Calculus. In Ibrahim F. Imam, Yves Kodratoff, Ayman El-Dessouki, Moonis Ali, editors, Multiple Approaches to Intelligent Systems, 12th International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, IEA/AIE-99, Cairo, Egypt, May 31 - June 3, 1999, Proceedings. Volume 1611 of Lecture Notes in Computer Science, pages 372-381, Springer, 1999.
Abstract is missing.