Thorne, Camilo, and Diego Calvanese. “The Data Complexity of the Syllogistic Fragments of English”. Proceedings of the Amsterdam Colloquium, Dec. 2009, pp. 97-106, https://platform.openjournals.nl/PAC/article/view/22587.