Daniel Raggi, Alan Bundy, Gudmund Grov, Alison Pease. Automating Change of Representation for Proofs in Discrete Mathematics. In Manfred Kerber, Jacques Carette, Cezary Kaliszyk, Florian Rabe, Volker Sorge, editors, Intelligent Computer Mathematics - International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings. Volume 9150 of Lecture Notes in Computer Science, pages 227-242, Springer, 2015. [doi]
Abstract is missing.