“Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji”., SiMIS, vol. 5, no. 12, pp. 11–18, Nov. 2013, doi: 10.34767/SIMIS.2013.12.01.