A declarative debugging system for lazy functional logic programs
- Caballero, R.
- Rodríguez-Artalejo, M.
Journal:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Year of publication: 2002
Volume: 64
Pages: 113-175
Type: Conference paper