| |
| 1998 | ||
|---|---|---|
| 2 | Leopoldo E. Bertossi, Marcelo Arenas, Cristian Ferretti: SCDBR: An Automated Reasoner for Specifications of Database Updates. J. Intell. Inf. Syst. 10(3): 253-280 (1998) | |
| 1994 | ||
| 1 | Leopoldo E. Bertossi, Cristian Ferretti: SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. ICTL 1994: 543-545 | |
| 1 | Marcelo Arenas | [2] |
| 2 | Leopoldo E. Bertossi | [1] [2] |