Hanus, M., & Zartmann, F. (1994). Mode Analysis of Functional Logic Programs. In B., Le Charlier (Ed.), Proceedings of the 1st International Static Analysis Symposium (SAS'94) (pp. 26-42). Berlin, Germany: Springer.