Vince, M. & ?efránek, J., 2013. From Deduction to Knowledge Representation. Organon F, 20, pp.216-234. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/prilohy/2013/2/216-234.pdf.