Kelleher, G. and Anthony Cohn: Automatically Synthesising Domain Constraints from Operator Descriptions. Presented at: European Conf on Artificial Intelligence, 1992. Venue: Vienna, Austria, 3.8-7.8. Proceedings published by John Wiley & Sons. Topics: [integrity]. Code: [Kelleher92A].
Bertossi, Leo, Javier Pinto, Pablo Saez, Deepak Kapur and Mahadevan Subramaniam: Automating Proofs of Integrity Constraints in Situation Calculus. To be presented at: ISMIS 1996. Venue: Zakopane, Poland, 9-13.6.1996. Topics: [integrity]. Code: [Bertossi96A].