1. Chapman, P., Stapleton, G., Delaney, A.: On the expressiveness of second-order spider diagrams. J. Vis. Lang. Comput. 24(5), 327–349 (2013)
2. Gabbay, D.M., Hogger, C.J., Robinson, J.A., Nute, D. (eds.): Handbook of Logic in Artificial Intelligence and Logic Programming Volume 3: Nonmonotonic Reasoning and Uncertain Reasoning. Oxford University Press, Oxford (1994)
3. Gabbay, D.M., Woods, J. (eds.): Handbook of the History of Logic Volume 8: The Many Valued and Nonmonotonic Turn in Logic. Elsevier, Amsterdam (2007)
4. Hammer, E., Shin, S.: Euler’s visual logic. Hist. Philos. Log. 19, 1–29 (1998)
5. Horty, J.F.: Some direct theories of nonmonotonic inheritance. In: Gabbay, D., Hogger, C., Robinson, J.A. (eds.) Handbook of Logic in Artificial Intelligence and Logic Programming, vol. 3, pp. 111–187. Oxford University Press, Oxford (1994)