Hajime Sawamura, Kensuke Kiyozuka. JVenn: A Visual Reasoning System with Diagrams and Sentences. In Michael Anderson, Peter Cheng, Volker Haarslev, editors, Theory and Application of Diagrams, First International Conference, Diagrams 2000, Edinburgh, Scotland, UK, September 1-3, 2000, Proceedings. Volume 1889 of Lecture Notes in Computer Science, pages 271-285, Springer, 2000. [doi]
Abstract is missing.