Alonderis, R. Brodskio kodavimo metodas teiginių logikai. LMR 2017, 58 (A), 1–6. https://doi.org/10.15388/LMR.A.2017.01.