Introspective Metatheoretic Theorem Proving (1992)

by F Giunchiglia, A Cimatti