Narrowing Approximations as an Optimization for Equational Logic Programs

Alpuente Frasnedo María, Vidal Oriola Germán Francisco

1993

Lecture Notes in Computer Science