1. Baader, F., Calvanese, D., McGuinness, D., Nadi, D., & Patel-Schneider, P. (Eds.). (2003). The description logic handbook: theory, implementation, and applications. New York, NY: Cambridge University Press.
2. Barwise, J., & Etchemendy, J. (1994). Hyperproof. Stanford, CA: CSLI Publications.
3. Barwise, J., & Etchemendy, J. (1996). Visual information and valid reasoning. In G. Allwein & J. Barwise (Eds.), Logical reasoning with diagrams (pp. 3–25). New York, NY: Oxford University Press.
4. Collins, C., Penn, G., & Carpendale, M. S. T. (2009). Bubble sets: Revealing set relations with isocontours over existing visualizations. IEEE Transactions on Visualization and Computer Graphics, 15(6), 1009–1016.
5. Couturat, L. (1903). Opuscules et fragments inédits de Leibniz. Paris: Felix Alcan.