Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, W. (2000). Directional Type Checking for Logic Programs: Beyond Discriminative Types. In G. Smolka (Ed.), Proceedings of the 8th European Symposium on Programming (ESOP-00) (pp. 72-87). Berlin, Germany: Springer.