1. Grädel, E., Otto, M., Rosen, E.: Undecidability results on two-variable logics. Arch. Math. Logic 38(4–5), 313–354 (1999)
2. Lai, T., Endrullis, J., Moss, L.S.: Proportionality graphs. Unpublished ms, Indiana University (2013)
3. Lecture Notes in Computer Science;B Marnette,2007
4. Moss, L.S.: Completeness theorems for syllogistic fragments. In: Hamm, F., Kepser, S. (eds.) Logics for Linguistic Structures, pp. 143–173. Mouton de Gruyter, Berlin (2008)
5. Lecture Notes in Computer Science;I Pratt-Hartmann,2009