Fausto Giunchiglia, Paolo Traverso. Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code. In IJCAI. pages 111-117, 1991.
@inproceedings{GiunchigliaT91,
title = {Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code},
author = {Fausto Giunchiglia and Paolo Traverso},
year = {1991},
tags = {metatheory},
researchr = {https://researchr.org/publication/GiunchigliaT91},
cites = {0},
citedby = {0},
pages = {111-117},
booktitle = {IJCAI},
}