SCDBR: A Reasoner for Specifications in the Situation Calculus of Database Updates. - Leopoldo E. Bertossi; Cristian Ferretti (ICTL, 1994)

SCDBR: An Automated Reasoner for Specifications of Database Updates. - Leopoldo E. Bertossi; Marcelo Arenas; Cristian Ferretti (J. Intell. Inf. Syst., 1998)