Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Smolka, Gert Max Planck Society;
https://rdcu.be/dxOXj (Publisher version)
Podelski, A., & Smolka, G. (1995). Situated Simplification. In U. Montanari, & F. Rossi (Eds.), Principles and Practice of Constraint Programming - CP '95 (pp. 328-344). Berlin, Germany: Springer.