@conference {15948, title = {Meta-languages, reflection principles and self-reference}, booktitle = {Handbook of logic in artificial intelligence and logic programming}, year = {1994}, month = {1994///}, pages = {323 - 358}, author = {Perlis, Don and V.S. Subrahmanian} }