Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W., & Podelski, A. (1998). Directional Type Inference for Logic Programs. In G. Levi (Ed.), Proceedings of the 5th International Symposium in Static Analysis (SAS-98) (pp. 278-294). Berlin, Germany: Springer.