Marc Bezem, Dimitri Hendriks. On the Mechanization of the Proof of Hessenberg s Theorem in Coherent Logic. Journal of Automated Reasoning, 40(1):61-85, 2008. [doi]
@article{BezemH08, title = {On the Mechanization of the Proof of Hessenberg s Theorem in Coherent Logic}, author = {Marc Bezem and Dimitri Hendriks}, year = {2008}, doi = {10.1007/s10817-007-9086-x}, url = {http://dx.doi.org/10.1007/s10817-007-9086-x}, tags = {logic}, researchr = {https://researchr.org/publication/BezemH08}, cites = {0}, citedby = {0}, journal = {Journal of Automated Reasoning}, volume = {40}, number = {1}, pages = {61-85}, }