@InProceedings{META92,
  author =       "F. van Harmelen",
  title =        "Definable naming relations in meta-level systems",
  booktitle =    "Proceedings of the Third Workshop on Meta-programming
                 in Logic ({META'92})",
  year =         1992,
  editor =       "A. Pettorossi",
  publisher =    "Springer-Verlag",
  series =       "Lecture Notes in Computer Science",
  volume =       649,
  pages =        "89--104",
  address =      "Uppsala",
  month =        "June",
  keywords = {Meta-reasoning and Reflection},
  urlPaper = "http://www.cs.vu.nl/~frankh/postscript/META92.pdf"
}

{"_id":"3Rr8PgJqwS5qg3Y3X","bibbaseid":"vanharmelen-definablenamingrelationsinmetalevelsystems-1992","author_short":["van Harmelen, F."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["F."],"propositions":["van"],"lastnames":["Harmelen"],"suffixes":[]}],"title":"Definable naming relations in meta-level systems","booktitle":"Proceedings of the Third Workshop on Meta-programming in Logic (META'92)","year":"1992","editor":[{"firstnames":["A."],"propositions":[],"lastnames":["Pettorossi"],"suffixes":[]}],"publisher":"Springer-Verlag","series":"Lecture Notes in Computer Science","volume":"649","pages":"89–104","address":"Uppsala","month":"June","keywords":"Meta-reasoning and Reflection","urlpaper":"http://www.cs.vu.nl/~frankh/postscript/META92.pdf","bibtex":"@InProceedings{META92,\r\n author = \"F. van Harmelen\",\r\n title = \"Definable naming relations in meta-level systems\",\r\n booktitle = \"Proceedings of the Third Workshop on Meta-programming\r\n in Logic ({META'92})\",\r\n year = 1992,\r\n editor = \"A. Pettorossi\",\r\n publisher = \"Springer-Verlag\",\r\n series = \"Lecture Notes in Computer Science\",\r\n volume = 649,\r\n pages = \"89--104\",\r\n address = \"Uppsala\",\r\n month = \"June\",\r\n keywords = {Meta-reasoning and Reflection},\r\n urlPaper = \"http://www.cs.vu.nl/~frankh/postscript/META92.pdf\"\r\n}\r\n\r\n","author_short":["van Harmelen, F."],"editor_short":["Pettorossi, A."],"key":"META92","id":"META92","bibbaseid":"vanharmelen-definablenamingrelationsinmetalevelsystems-1992","role":"author","urls":{"Paper":"http://www.cs.vu.nl/~frankh/postscript/META92.pdf"},"keyword":["Meta-reasoning and Reflection"],"metadata":{"authorlinks":{}},"downloads":0,"html":""},"bibtype":"inproceedings","biburl":"http://www.cs.vu.nl/~frankh/abstracts/all.bib","dataSources":["9CnmDh6oPMNTwHksm"],"keywords":["meta-reasoning and reflection"],"search_terms":["definable","naming","relations","meta","level","systems","van harmelen"],"title":"Definable naming relations in meta-level systems","year":1992}