Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
https://rdcu.be/dvpSW (Publisher version)
Bertling, H., Ganzinger, H., Schäfers, R., Nieuwenhuis, R., & Orejas, F. (1993). Completion Subsystem. In B. Hoffmann, & B. Krieg‐Brückner (Eds.), Program Development by Specification and Transformation (pp. 460-494). Berlin: Springer.