Schiefsky, M. J., & Hyman, M. (2009). Euclid and beyond: towards a long-term history of deductivity. Künstliche Intelligenz: KI, (4), 25-29.