Automatic Solution of Syllogisms and Sorites | Publicación