%0 Journal Article %1 journals/jacm/Reiter71 %A Reiter, Raymond %D 1971 %J J. ACM %K dblp %N 4 %P 630-646 %T Two Results on Ordering for Resolution with Merging and Linear Format. %U http://dblp.uni-trier.de/db/journals/jacm/jacm18.html#Reiter71 %V 18

@article{journals/jacm/Reiter71, added-at = {2018-11-06T00:00:00.000+0100}, author = {Reiter, Raymond}, biburl = {https://www.bibsonomy.org/bibtex/21d3ff95c8675921ff92107924aaf2443/dblp}, ee = {https://doi.org/10.1145/321662.321678}, interhash = {9c4947cda0cd91c55bf51b7bafecfc13}, intrahash = {1d3ff95c8675921ff92107924aaf2443}, journal = {J. ACM}, keywords = {dblp}, number = 4, pages = {630-646}, timestamp = {2018-11-07T12:10:54.000+0100}, title = {Two Results on Ordering for Resolution with Merging and Linear Format.}, url = {http://dblp.uni-trier.de/db/journals/jacm/jacm18.html#Reiter71}, volume = 18, year = 1971 }