Leopoldo E. Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramaniam. Automating Proofs of Integrity Constraints in Situation Calculus. In Zbigniew W. Ras, Maciej Michalewicz, editors, Foundations of Intelligent Systems, 9th International Symposium, ISMIS 96, Zakopane, Poland, June 9-13, 1996, Proceedings. Volume 1079 of Lecture Notes in Computer Science, pages 212-222, Springer, 1996.
Abstract is missing.