Backtracking, interleaving, and terminating monad transformers2005-09-120 PRE AI DOI:10.1145/1086365.1086390OriginalOriginal request for helpShareSaveAbstract En