Semantics-Based Analysis and Transformation of Functional Logic Programs

Vidal Oriola Germán Francisco

1997

Bulletin of the European Association for Theoretical Computer Science EATCS