Mauricio Osorio, Bharat Jayaraman. Subset Assertions and Negation As Failure. In ILPS. pages 637, 1993.
@inproceedings{OsorioJ93,
title = {Subset Assertions and Negation As Failure},
author = {Mauricio Osorio and Bharat Jayaraman},
year = {1993},
researchr = {https://researchr.org/publication/OsorioJ93},
cites = {0},
citedby = {0},
pages = {637},
booktitle = {ILPS},
}