“Wnioskowanie logiczne za pomocą DNA. Reguła kontrapozycji”. (2013) Studia i Materiały Informatyki Stosowanej, 5(12), pp. 11–18. doi:10.34767/SIMIS.2013.12.01.