Article ISI
Lecture Notes in Artificial Intelligence  (1996)

Automating proofs of integrity constraints in the situation calculus

Leopoldo Bertossi, Javier Pinto, Pablo Sáez, Deepak Kapur, Mahadevan Subramanian