Leopoldo E. Bertossi Marcelo Arenas Cristian Ferretti SCDBR: An Automated Reasoner for Specifications of Database Updates. 253-280 1998 10 J. Intell. Inf. Syst. 3 db/journals/jiis/jiis10.html#BertossiAF98