Pepijn Kokke, Wouter Swierstra. Auto in Agda - Programming Proof Search Using Reflection. In Ralf Hinze, Janis Voigtländer, editors, Mathematics of Program Construction - 12th International Conference, MPC 2015, Königswinter, Germany, June 29 - July 1, 2015. Proceedings. Volume 9129 of Lecture Notes in Computer Science, pages 276-301, Springer, 2015.
Abstract is missing.