Alonderis, R. Brodskio Kodavimo Metodas Teiginių Logikai. LMR 2017, 58 (A), 1–6. https://doi.org/10.15388/LMR.A.2017.01.