Logic programs as specifications in the inductive verification of logic programs.

Marco Comini Roberta Gori Giorgio Levi Logic programs as specifications in the inductive verification of logic programs. 2001 48 Electr. Notes Theor. Comput. Sci. http://www.elsevier.com/gej-ng/31/29/23/74/23/show/Products/notes/index.htt#008 db/journals/entcs/entcs48.html#CominiGL01