Pagnan. A Diagrammatic Calculus of Syllogisms. Springer Basel, 2013, doi:10.1007/978-3-0348-0600-8_3.