@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}
}
