Richard A. Frost. Monadic Memoization towards Correctness-Preserving Reduction of Search. In Yang Xiang, Brahim Chaib-draa, editors, Advances in Artificial Intelligence, 16th Conference of the Canadian Society for Computational Studies of Intelligence, AI 2003, Halifax, Canada, June 11-13, 2003, Proceedings. Volume 2671 of Lecture Notes in Computer Science, pages 66-80, Springer, 2003. [doi]
Abstract is missing.