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,
}











