Mateja Jamnik, Alan Bundy, Ian Green. On Automating Diagrammatic Proofs of Arithmetic Arguments. In Michael Anderson, Bernd Meyer 0001, Patrick Olivier, editors, Diagrammatic Representation and Reasoning. pages 315-338, Springer, 2002. [doi]
@incollection{JamnikBG02,
title = {On Automating Diagrammatic Proofs of Arithmetic Arguments},
author = {Mateja Jamnik and Alan Bundy and Ian Green},
year = {2002},
doi = {10.1007/978-1-4471-0109-3_18},
url = {https://doi.org/10.1007/978-1-4471-0109-3_18},
researchr = {https://researchr.org/publication/JamnikBG02},
cites = {0},
citedby = {0},
pages = {315-338},
booktitle = {Diagrammatic Representation and Reasoning},
editor = {Michael Anderson and Bernd Meyer 0001 and Patrick Olivier},
publisher = {Springer},
isbn = {978-1-85233-242-6},
}