A simple rewrite notion for call-time choice semantics (2007)

by F J López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Venue:In Proceedings of the 9th ACM SIGPLAN Inter- Hanus 143 national Conference on Principles and Practice of Declarative Programming (PPDP’07