%0 Journal Article %1 journals/logcom/RitterPW00 %A Ritter, Eike %A Pym, David J. %A Wallen, Lincoln A. %D 2000 %J J. Log. Comput. %K dblp %N 2 %P 173-207 %T Proof-terms for classical and intuitionistic resolution. %U http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#RitterPW00 %V 10

@article{journals/logcom/RitterPW00, added-at = {2011-06-29T00:00:00.000+0200}, author = {Ritter, Eike and Pym, David J. and Wallen, Lincoln A.}, biburl = {https://www.bibsonomy.org/bibtex/27a25fad117e92f7358513c637e177c84/dblp}, ee = {http://dx.doi.org/10.1093/logcom/10.2.173}, interhash = {c69210359e47f18ff9cecdda52b4a28b}, intrahash = {7a25fad117e92f7358513c637e177c84}, journal = {J. Log. Comput.}, keywords = {dblp}, number = 2, pages = {173-207}, timestamp = {2011-06-30T11:39:26.000+0200}, title = {Proof-terms for classical and intuitionistic resolution.}, url = {http://dblp.uni-trier.de/db/journals/logcom/logcom10.html#RitterPW00}, volume = 10, year = 2000 }