Hustadt, Ullrich Programming Logics, MPI for Informatics, Max Planck Society;
Schmidt, Renate A. Programming Logics, MPI for Informatics, Max Planck Society;
Hustadt, U., & Schmidt, R. A. (1999). Maslov's Class K Revisited. In H. Ganzinger (Ed.), Proceedings of the 16th International Conference on Automated Deduction (CADE-16) (pp. 172-186). Berlin, Germany: Springer.