Cine, E. & Kumova, B. (2017) An Extended Syllogistic Logic for Automated Reasoning. 2017 INTERNATIONAL CONFERENCE ON COMPUTER SCIENCE AND ENGINEERING (UBMK).