Evaluation strategies for functional logic programming (2005)

by S Antoy
Venue:Journal of Symbolic Computation