A Transformation System for Lazy Functional Logic Programs (1999)

by Maria Alpuente, Moreno Falaschi, Gines Moreno, German Vidal