Journal of Functional and Logic Programming (MIT Press, 2001)