Dios Castro and F.J. López-Fraguas. Elimination of Extra Variables in Functional Logic Programs (2006)

by J de