@conference {16001,
	title = {Applications or Protected Circumscription},
	booktitle = {7th International Conference on Automated Deduction, Napa, California, USA, May 14-16, 1984: proceedings},
	volume = {170},
	year = {1984},
	month = {1984///},
	pages = {414 - 414},
	author = {Minter,J. and Perlis, Don}
}
