JVenn: A Visual Reasoning System with Diagrams and Sentences. - Hajime Sawamura; Kensuke Kiyozuka (Diagrams, 2000)

A Hybrid Reasoning System with Diagrams and Sentences. - Hajime Sawamura; Kensuke Kiyozuka (VL, 2000)