Henning Christiansen. A Complete Resolution method for Logical Meta-Programming Languages. In Alberto Pettorossi, editor, Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings. Volume 649 of Lecture Notes in Computer Science, pages 205-219, Springer, 1992.
@inproceedings{Christiansen92,
title = {A Complete Resolution method for Logical Meta-Programming Languages},
author = {Henning Christiansen},
year = {1992},
tags = {programming languages, completeness, meta programming, meta-model, programming, Meta-Environment, meta-objects},
researchr = {https://researchr.org/publication/Christiansen92},
cites = {0},
citedby = {0},
pages = {205-219},
booktitle = {Meta-Programming in Logic, 3rd International Workshop, META-92, Uppsala, Sweden, June 10-12, 1992, Proceedings},
editor = {Alberto Pettorossi},
volume = {649},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-56282-6},
}