%0 Conference Paper %1 conf/kr/GivanM92 %A Givan, Robert %A McAllester, David A. %B KR %D 1992 %E Nebel, Bernhard %E Rich, Charles %E Swartout, William R. %I Morgan Kaufmann %K %P 403-412 %T New Results on Local Inference Relations. %U http://dblp.uni-trier.de/db/conf/kr/kr92.html#GivanM92 %@ 1-55860-262-3

@inproceedings{conf/kr/GivanM92, added-at = {2023-12-13T08:56:34.000+0100}, author = {Givan, Robert and McAllester, David A.}, biburl = {https://www.bibsonomy.org/bibtex/2f83b3b817e67086e943f8c90d4330619/admin}, booktitle = {KR}, crossref = {conf/kr/1992}, editor = {Nebel, Bernhard and Rich, Charles and Swartout, William R.}, interhash = {c944c5f03c4417beb1b89fbdaccaf50b}, intrahash = {f83b3b817e67086e943f8c90d4330619}, isbn = {1-55860-262-3}, keywords = {}, pages = {403-412}, publisher = {Morgan Kaufmann}, timestamp = {2023-12-13T08:56:34.000+0100}, title = {New Results on Local Inference Relations.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr92.html#GivanM92}, year = 1992 }