Podelski, Andreas Programming Logics, MPI for Informatics, Max Planck Society;
Smolka, Gert Max Planck Society;
https://rdcu.be/dxOXj (出版社版)
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.