Paul Cull, Leanne Merrill, Tony Van, Celeste Burkhardt, Tommy Pitts. Solving Towers of Hanoi and Related Puzzles. In Roberto Moreno-Díaz, Franz Pichler, Alexis Quesada-Arencibia, editors, Computer Aided Systems Theory - EUROCAST 2013 - 14th International Conference, Las Palmas de Gran Canaria, Spain, February 10-15, 2013, Revised Selected Papers, Part I. Volume 8111 of Lecture Notes in Computer Science, pages 12-19, Springer, 2013. [doi]
Abstract is missing.