Incremental Constraint Satisfaction for Equational Logic Programming

Alpuente Frasnedo María, FALASCHI M., LEVI G.

1995

Theoretical Computer Science