A hybrid reasoning system with diagrams and sentences | IEEE Conference Publication | IEEE Xplore