%0 Journal Article %1 journals/jsyml/HatcherH81 %A Hatcher, William S. %A Hodgson, Bernard R. %D 1981 %J J. Symb. Log. %K dblp %N 2 %P 255-258 %T Complexity Bounds on Proofs. %U http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81 %V 46

@article{journals/jsyml/HatcherH81, added-at = {2014-08-05T00:00:00.000+0200}, author = {Hatcher, William S. and Hodgson, Bernard R.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/28bff3e7228f4425f0fb4f54c93a5c697/dblp}, ee = {http://projecteuclid.org/euclid.jsl/1183740774}, interhash = {10cd1082a237e960c7251b8f0caf1e3d}, intrahash = {8bff3e7228f4425f0fb4f54c93a5c697}, journal = {J. Symb. Log.}, keywords = {dblp}, number = 2, pages = {255-258}, timestamp = {2016-02-02T07:29:06.000+0100}, title = {Complexity Bounds on Proofs.}, url = {http://dblp.uni-trier.de/db/journals/jsyml/jsyml46.html#HatcherH81}, volume = 46, year = 1981 }