Hierarchies through Basic Metalevel Operators (1990)

by A Brogi, P Mancarella, D Pedreschi, F Turini
Venue:Proceedings of the Second Workshop on Meta-programming in Logic