Introspective Metatheoretic Reasoning (1994)

by Fausto Giunchiglia, Alessandro Cimatti
Venue:IN PROC. OF META-94, WORKSHOP ON METAPROGRAMMING IN LOGIC