%0 Journal Article %1 journals/eccc/KrebsMS16 %A Krebs, Andreas %A Mahajan, Meena %A Shukla, Anil %D 2016 %J Electron. Colloquium Comput. Complex. %K %P 164 %T Relating two width measures for resolution proofs. %U http://dblp.uni-trier.de/db/journals/eccc/eccc23.html#KrebsMS16 %V 23

@article{journals/eccc/KrebsMS16, added-at = {2023-12-13T09:57:15.000+0100}, author = {Krebs, Andreas and Mahajan, Meena and Shukla, Anil}, biburl = {https://www.bibsonomy.org/bibtex/26e1acf840540a41d183bf5b83dd70868/admin}, ee = {http://eccc.hpi-web.de/report/2016/164}, interhash = {d3362891ad6caec4eedb4e1cd4406791}, intrahash = {6e1acf840540a41d183bf5b83dd70868}, journal = {Electron. Colloquium Comput. Complex.}, keywords = {}, pages = 164, timestamp = {2023-12-13T09:57:15.000+0100}, title = {Relating two width measures for resolution proofs.}, url = {http://dblp.uni-trier.de/db/journals/eccc/eccc23.html#KrebsMS16}, volume = 23, year = 2016 }