de Brecht, M., Goubault-Larrecq, J., Jia, X., Lyu, Z., 2019. Domain-complete and LCS-complete Spaces 345.. https://doi.org/10.1016/j.entcs.2019.07.014