@InProceedings{RPvH95,
  author =    "Harald Rue{\ss}, Holger Pfeifer, Friedrich W. von Henke",
  title =     "Formalization and Reasoning in a Reflective Architecture",
  editor =    "M. Ibrahim, P.  Cointe, F. Cummins, F. Giunchiglia, and
               J. Malenfant", 
  year =      1995,
  booktitle = "IJCAI 1995 Workshop on Reflection and Meta Level Architecture
               and their Application in AI", 
  address =   "Montreal, Canada",
  month =     "August"
}