Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Charatonik, Witold Programming Logics, MPI for Informatics, Max Planck Society;
Podelski, A., Charatonik, W., & Müller, M. (1999). Set-based Failure Analysis for Logic Programs and Concurrent Constraint Programs. In S. D. Swierstra (Ed.), Programming Languages and Systems: Proceedings of the 8th European Symposium on Programming (ESOP-99) (pp. 177-192). Berlin, Germany: Springer.