Bern Martens, Danny De Schreye
A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming
ICLP, 1992.
@inproceedings{JICSLP-1992-MartensS, author = "Bern Martens and Danny De Schreye", booktitle = "{Proceedings of the Joint International Ninth Conference and Symposium on Logic Programming}", isbn = "0-262-51064-2", pages = "511--525", publisher = "{MIT Press}", title = "{A Perfect Herbrand Semantics for Untyped Vanilla Meta-Programming}", year = 1992, }