Automating Proofs of Integrity Constraints in Situation Calculus.

Leopoldo E. Bertossi, Javier Pinto, Pablo Sez, Deepak Kapur, Mahadevan Subramaniam

Browse the full ISMIS paper archive.