%0 Journal Article %1 journals/cc/Riis01 %A Riis, Søren %D 2001 %J Comput. Complex. %K dblp %N 3 %P 179-209 %T A complexity gap for tree resolution. %U http://dblp.uni-trier.de/db/journals/cc/cc10.html#Riis01 %V 10

@article{journals/cc/Riis01, added-at = {2020-03-15T00:00:00.000+0100}, author = {Riis, Søren}, biburl = {https://www.bibsonomy.org/bibtex/2c11cbd444bab3e956679c92d0e7619ba/dblp}, ee = {https://doi.org/10.1007/s00037-001-8194-y}, interhash = {d7d10891b7656d34b32622b684b39d57}, intrahash = {c11cbd444bab3e956679c92d0e7619ba}, journal = {Comput. Complex.}, keywords = {dblp}, number = 3, pages = {179-209}, timestamp = {2020-03-17T11:40:06.000+0100}, title = {A complexity gap for tree resolution.}, url = {http://dblp.uni-trier.de/db/journals/cc/cc10.html#Riis01}, volume = 10, year = 2001 }