Towards fast and declarative meta-programming (1995)

by A F Bowers, C A Gurr
Venue:Meta-logics and Logic Programming