Extra Variables Can Be Eliminated from Functional Logic Programs
- de Dios Castro, J.
- López-Fraguas, F.J.
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2007
Volume: 188
Pages: 3-19
Type: Article