Flach, P., & Sokol, K. (2022). Simply Logical -- Intelligent Reasoning by Example (Fully Interactive Online Edition)