Marco Cadoli, Maurizio Lenzerini. The Complexity of Closed World Reasoning and Circumscription. In AAAI. pages 550-555, 1990.
@inproceedings{CadoliL90, title = {The Complexity of Closed World Reasoning and Circumscription}, author = {Marco Cadoli and Maurizio Lenzerini}, year = {1990}, researchr = {https://researchr.org/publication/CadoliL90}, cites = {0}, citedby = {0}, pages = {550-555}, booktitle = {AAAI}, }