F.  Bonchi, Giannotti, F., and Pedreschi, D., ?On Verification in Logic Database Languages?, in Computational Logic, 2000, pp. 957-971.