@conference {DBLP:conf/cl/BonchiGP00, title = {On Verification in Logic Database Languages}, booktitle = {Computational Logic}, year = {2000}, pages = {957-971}, author = {Francesco Bonchi and Fosca Giannotti and Dino Pedreschi} }