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