Parallel evaluation strategies for functional logic languages (1997)

by S Antoy, R Echahed, M Hanus
Venue:In Proceedings of the 14th International Conference on Logic Programming (ICLP’97