Backtracking with cut via a distributive law and left-zero monoids (Journal of Functional Programming, 2017)

(untitled) - Piróg, M; Staton, S