Model for mathematical analysis of functional logic programs and their implementations

1. Borger, Egon
2. Lopez-Fraguas, Francisco J.
3. Rodriguez-Artalejo, Mario