Introspective metatheoretic reasoning (1994)

by F Guinchiglia, A Cimatti
Venue:In Proceedings of the 4th International Workshop on Meta-Programming in Logic