Mitchell Wand, Dale Vaillancourt. Relating models of backtracking. In Chris Okasaki, Kathleen Fisher, editors, Proceedings of the Ninth ACM SIGPLAN International Conference on Functional Programming, ICFP 2004, Snow Bird, UT, USA, September 19-21, 2004. pages 54-65, ACM, 2004. [doi]
Abstract is missing.