Definable naming relations in meta-level systems. Harmelen, F. & Pettorossi, A. In Proceedings of the Third Workshop on Meta-programming in Logic (META'92), volume 649, of Lecture Notes in Computer Science, pages 89--104, June, 1992.
bibtex   
@inproceedings{ META92,
  author    = {Frank Harmelen and A. Pettorossi},
  title     = {Definable naming relations in meta-level systems},
  series   = {Lecture Notes in Computer Science},
  booktitle   = {Proceedings of the Third Workshop on Meta-programming in Logic (META'92)},
  month   = {June},
  pages   = {89--104},
  volume   = {649} ,
  year   = {1992}
}

Downloads: 0