Jack Minker, Donald Perlis. Computing Protected Circumscription. Journal of Logic and Algebraic Programming, 2(4):235-249, 1985.
@article{MinkerP85,
title = {Computing Protected Circumscription},
author = {Jack Minker and Donald Perlis},
year = {1985},
researchr = {https://researchr.org/publication/MinkerP85},
cites = {0},
citedby = {0},
journal = {Journal of Logic and Algebraic Programming},
volume = {2},
number = {4},
pages = {235-249},
}