F.: Encapsulating non-determinism in functional logic computations (2004)

by B Braßel, M Hanus, Huch
Venue:Journal of Functional and Logic Programming