%0 Conference Paper %1 conf/kr/DechterR94 %A Dechter, Rina %A Rish, Irina %B KR %D 1994 %E Doyle, Jon %E Sandewall, Erik %E Torasso, Pietro %I Morgan Kaufmann %K dblp %P 134-145 %T Directional Resolution: The Davis-Putnam Procedure, Revisited. %U http://dblp.uni-trier.de/db/conf/kr/kr94.html#DechterR94 %@ 1-55860-328-X

@inproceedings{conf/kr/DechterR94, added-at = {2012-05-18T00:00:00.000+0200}, author = {Dechter, Rina and Rish, Irina}, biburl = {https://www.bibsonomy.org/bibtex/24c27b8203f781f9452ad3d4ccf231e19/dblp}, booktitle = {KR}, crossref = {conf/kr/1994}, editor = {Doyle, Jon and Sandewall, Erik and Torasso, Pietro}, interhash = {4e2bf9f2587a1deda2ba1efc1291aad4}, intrahash = {4c27b8203f781f9452ad3d4ccf231e19}, isbn = {1-55860-328-X}, keywords = {dblp}, pages = {134-145}, publisher = {Morgan Kaufmann}, timestamp = {2012-05-19T11:38:42.000+0200}, title = {Directional Resolution: The Davis-Putnam Procedure, Revisited.}, url = {http://dblp.uni-trier.de/db/conf/kr/kr94.html#DechterR94}, year = 1994 }