Cintula, P., Noguera, C. A Henkin-Style Proof of Completeness for First-Order Algebraizable Logics. Journal of Symbolic Logic. 2015, 80(1), 341-358. ISSN 0022-4812. E-ISSN 1943-5886. Dostupné z: https://doi.org/10.1017/jsl.2014.19