Robert Givan, David A. McAllester. New Results on Local Inference Relations. In KR. pages 403-412, 1992.
@inproceedings{GivanM92, title = {New Results on Local Inference Relations}, author = {Robert Givan and David A. McAllester}, year = {1992}, researchr = {https://researchr.org/publication/GivanM92}, cites = {0}, citedby = {0}, pages = {403-412}, booktitle = {KR}, }