Hanus, Michael Programming Logics, MPI for Informatics, Max Planck Society;
Zartmann, Frank Programming Logics, MPI for Informatics, Max Planck Society;
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.