%0 Conference Paper %B Computational Logic %D 2000 %T On Verification in Logic Database Languages %A Francesco Bonchi %A Fosca Giannotti %A Dino Pedreschi %B Computational Logic %P 957-971 %G eng