Equivalence of Two Formal Semantics for Functional Logic Programs
Revista:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Año de publicación: 2007
Volumen: 188
Páginas: 117-142
Tipo: Artículo