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

by F López-Fraguas, J Rodŕıguez-Hortalá, J Sánchez-Hernández
Venue:Electronic Notes in Theoretical Computer Science 188