@article {15999,
	title = {Proving self-utterances},
	journal = {Journal of Automated Reasoning},
	volume = {3},
	year = {1987},
	month = {1987///},
	pages = {329 - 338},
	author = {Miller,M. and Perlis, Don}
}
