1. Backtracking with cut via a distributive law and left-zero monoids*. (13th July 2017) Authors: PIRÓG, MACIEJ; STATON, SAM Journal: Journal of functional programming Issue: Volume 27(2017) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗