Overlapping rules and logic variables in functional logic programs (2006)

by S Antoy, M Hanus
Venue:In Twenty Second International Conference on Logic Programming