Alonderis, R. Brodsky’s Coding Method for Propositional Logic. LMR 2017, 58 (A), 1–6. https://doi.org/10.15388/LMR.A.2017.01.