| |
| 2005 | ||
|---|---|---|
| 2 | EE | Pablo Saez: Deductive Systems' Representation and an Incompleteness Result in the Situation Calculus. MICAI 2005: 119-131 |
| 1996 | ||
| 1 | Leopoldo E. Bertossi, Javier Pinto, Pablo Saez, Deepak Kapur, Mahadevan Subramaniam: Automating Proofs of Integrity Constraints in Situation Calculus. ISMIS 1996: 212-222 | |
| 1 | Leopoldo E. Bertossi | [1] |
| 2 | Deepak Kapur | [1] |
| 3 | Javier Pinto | [1] |
| 4 | Mahadevan Subramaniam | [1] |