Adding metatheoretic facilities to first-order theories (1996)

by David Basin, Se'an Matthews
Venue:Journal of Logic and Computation