@article {16011, title = {Computing protected circumscription}, journal = {The Journal of Logic Programming}, volume = {2}, year = {1985}, month = {1985///}, pages = {235 - 249}, author = {Minker, Jack and Perlis, Don} }