Reflective Reasoning with and Between a Declarative Metatheory and the Implementation Code

Giunchiglia and Traverso. "Reflective Reasoning with and Between a Declarative Metatheory and the Implementation Code." International Joint Conference on Artificial Intelligence, 1991.

[Giunchiglia and Traverso. "Reflective Reasoning with and Between a Declarative Metatheory and the Implementation Code." International Joint Conference on Artificial Intelligence, 1991.](https://mlanthology.org/ijcai/1991/giunchiglia1991ijcai-reflective/)

@inproceedings{giunchiglia1991ijcai-reflective,
  title     = {{Reflective Reasoning with and Between a Declarative Metatheory and the Implementation Code}},
  author    = {Giunchiglia, Fausto and Traverso, Paolo},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {1991},
  pages     = {111-117},
  url       = {https://mlanthology.org/ijcai/1991/giunchiglia1991ijcai-reflective/}
}