%0 Journal Article %1 journals/jsyml/Buresh-OppenheimP07 %A Buresh-Oppenheim, Joshua %A Pitassi, Toniann %D 2007 %J J. Symb. Log. %K dblp %N 4 %P 1336-1352 %T The complexity of resolution refinements. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml72.html#Buresh-OppenheimP07 %V 72

@article{journals/jsyml/Buresh-OppenheimP07, added-at = {2014-08-05T00:00:00.000+0200}, author = {Buresh-Oppenheim, Joshua and Pitassi, Toniann}, biburl = {https://www.bibsonomy.org/bibtex/28d3a183842a0894198d37657f2d27aa8/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1203350790}, interhash = {9d6bba94d2b4808412c7f6f15f5f3be7}, intrahash = {8d3a183842a0894198d37657f2d27aa8}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 4, pages = {1336-1352}, timestamp = {2015-06-18T02:36:37.000+0200}, title = {The complexity of resolution refinements.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml72.html#Buresh-OppenheimP07}, volume = 72, year = 2007 }