%0 Journal Article %1 journals/jar/BezemH08 %A Bezem, Marc %A Hendriks, Dimitri %D 2008 %J J. Autom. Reason. %K dblp %N 1 %P 61-85 %T On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic. %U http://dblp.uni-trier.de/db/journals/jar/jar40.html#BezemH08 %V 40

@article{journals/jar/BezemH08, added-at = {2020-09-02T00:00:00.000+0200}, author = {Bezem, Marc and Hendriks, Dimitri}, biburl = {https://www.bibsonomy.org/bibtex/25216569a765cdd3ef49ef6a92d713495/dblp}, ee = {https://doi.org/10.1007/s10817-007-9086-x}, interhash = {5c1424a98adb2af561394ab301e1c87e}, intrahash = {5216569a765cdd3ef49ef6a92d713495}, journal = {J. Autom. Reason.}, keywords = {dblp}, number = 1, pages = {61-85}, timestamp = {2020-09-09T13:34:28.000+0200}, title = {On the Mechanization of the Proof of Hessenberg's Theorem in Coherent Logic.}, url = {http://dblp.uni-trier.de/db/journals/jar/jar40.html#BezemH08}, volume = 40, year = 2008 }