Inproceedings,

Reflective Reasoning with and between a Declarative Metatheory and the Implementation Code.

, and .
IJCAI, page 111-117. Morgan Kaufmann, (1991)

Meta data

Tags

Users

  • @dblp

Comments and Reviews