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

by F López-Fraguas, J Rodrı́guez-Hortalá, J Sánchez-Hernández
Venue:In PROLE 2006, Proceedings, volume 188 of ENTCS