Semantics and Types in Functional Logic Programming.
J. Moreno, M. Hortalá-González, and M. Rodríguez-Artalejo. Fuji International Symposium on Functional and Logic Programming, volume 1722 of Lecture Notes in Computer Science, page 1-20. Springer, (1999)