On the Completeness of Narrowing as the Operational Semantics of Functional Logic Programming.

Juan Carlos Gonzlez Moreno, Maria Teresa Hortal-Gonzlez, Mario Rodrguez-Artalejo

Browse the full CSL paper archive.