Equivalence of two formal semantics for functional logic programs (2007)

by F J López-Fraguas, J Rodríguez-Hortalá, J Sánchez-Hernández
Venue:In Programación y Lenguajes 2006, Proceedings, ENTCS 188:117–142