@conference {15943,
	title = {Circumscription as introspection},
	booktitle = {Proceedings of the Second International Symposium on Methodologies for intelligent systems},
	year = {1987},
	month = {1987///},
	pages = {440 - 444},
	author = {Perlis, Don}
}
