Marina De Vos, Dirk Vermeir. Semantic Forcing in Disjunctive Logic Programs. Computational Intelligence, 17(3):651-684, 2001.
@article{VosV01:0, title = {Semantic Forcing in Disjunctive Logic Programs}, author = {Marina De Vos and Dirk Vermeir}, year = {2001}, tags = {logic programming, logic}, researchr = {https://researchr.org/publication/VosV01%3A0}, cites = {0}, citedby = {0}, journal = {Computational Intelligence}, volume = {17}, number = {3}, pages = {651-684}, }