Introspective Metatheoretic Reasoning (1994)

by F Giunchiglia, A Cimatti
Venue:In Proceedings META-94, Fourth Intnl. Workshop on Meta-Programming in Logic