Tzakova, Miroslava Programming Logics, MPI for Informatics, Max Planck Society;
Blackburn, P., & Tzakova, M. (1998). Hybrid Completeness. Logic Journal of the IGPL, 6(4), 625-650.