Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Smolka, Gert Max Planck Society;
Podelski, A., & Smolka, G. (1995). Situated Simplification. In U. Montanari, & F. Rossi (Eds.), Proceedings of the First International Conference on Principles and Practice of Constraint Programming (CP'95) (pp. 328-344). Berlin, Germany: Springer.