Fairouz Kamareddine, Joe B. Wells, Christoph Zengler, Henk Barendregt. Computerising Mathematical Text. In Jörg H. Siekmann, editor, Computational Logic. Volume 9 of Handbook of the History of Logic, pages 343-396, Elsevier, 2014. [doi]
@incollection{KamareddineWZB14,
title = {Computerising Mathematical Text},
author = {Fairouz Kamareddine and Joe B. Wells and Christoph Zengler and Henk Barendregt},
year = {2014},
doi = {10.1016/B978-0-444-51624-4.50008-3},
url = {http://dx.doi.org/10.1016/B978-0-444-51624-4.50008-3},
researchr = {https://researchr.org/publication/KamareddineWZB14},
cites = {0},
citedby = {0},
pages = {343-396},
booktitle = {Computational Logic},
editor = {Jörg H. Siekmann},
volume = {9},
series = {Handbook of the History of Logic},
publisher = {Elsevier},
isbn = {978-0-444-51624-4},
}