GORIS, E., BÍLKOVÁ, M., JOOSTEN, J.J., MIKEC, L. Theory and Application of Labelling Techniques for Interpretability Logics. Mathematical Logic Quarterly. 2022, 68(3), 352-374. ISSN 0942-5616. E-ISSN 1521-3870. Dostupné z: https://doi.org/10.1002/malq.202200015.