Zouhar, M., 1997. Logica '95. Proceedings of the 9th International Symposium. Organon F, 4, pp.425-427. Available at: http://www.klemens.sav.sk/fiusav/doc/organon/1997/4/425-427.pdf.