Backtracking, interleaving, and terminating monad transformers - KISELYOV, Oleg; SHAN, Chung-Chieh; SABRY, Amr; FRIEDMAN, Daniel P (Proceedings of the Tenth ACM SIGPLAN International Conference on Functional Programming (ICFP'05), September 26-28, 2005 - Tallinn, Estonia, 2005)
text