Definable naming relations in meta-level systems. van Harmelen, F. In Proceedings of the Third Workshop on Meta-programming in Logic (META'92), volume 649, of Lecture Notes in Computer Science, pages 89–104, Uppsala, June, 1992. Springer-Verlag.
Definable naming relations in meta-level systems [pdf]Paper  bibtex   

Downloads: 0