R. Alonderis, “Brodsky’s coding method for propositional logic”, LMR, vol. 58, no. A, pp. 1–6, Dec. 2017, doi: 10.15388/LMR.A.2017.01.