@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}
}
