Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, R. A. (1998). E-Unification for Subsystems of S4. In T. Nipkow (Ed.), Proceedings of the 9th International Conference on Rewriting Techniques and Applications (RTA-98) (pp. 106-120). Berlin, Germany: Springer.