Claus Zinn. A Prolog-Based Tutor for Multi-column Subtraction with Multiple Algorithms Support - (Software Demonstration). In Ingo J. Timm, Matthias Thimm, editors, KI 2013: Advances in Artificial Intelligence - 36th Annual German Conference on AI, Koblenz, Germany, September 16-20, 2013. Proceedings. Volume 8077 of Lecture Notes in Computer Science, pages 308-311, Springer, 2013. [doi]
Abstract is missing.