TY - CONF T1 - On Verification in Logic Database Languages T2 - Computational Logic Y1 - 2000 A1 - Francesco Bonchi A1 - Fosca Giannotti A1 - Dino Pedreschi JF - Computational Logic ER -