Can We Automate Diagrammatic Reasoning?
arXiv (2019) - Comments
arxiv: 1902.04955  issn: 2331-8422 

Sk. Arif Ahmed, Debi Prosad Dogra, Samarjit Kar, Partha Pratim Roy, Dilip K. Prasad