Jirí Vyskocil, Petr Stepánek. Improving Efficiency of Prolog Programs by Fully Automated Unfold/Fold Transformation. In Alexander F. Gelbukh, Angel Fernando Kuri Morales, editors, MICAI 2007: Advances in Artificial Intelligence, 6th Mexican International Conference on Artificial Intelligence, Aguascalientes, Mexico, November 4-10, 2007, Proceedings. Volume 4827 of Lecture Notes in Computer Science, pages 305-315, Springer, 2007. [doi]
Abstract is missing.