Meta-programming with theory systems (1995)

by J Barklund, K Boberg, P Dell'Acqua, M Veanes
Venue:Meta-Logics and Logic Programming