Alexander V. Lyaletski Alexander A. Letichevsky Oleksandr Kalinovskyy Literal Trees and Resolution Technique. 97-106 2005 conf/iis/2005 Intelligent Information Systems db/conf/iis/iis2005.html#LyaletskiLK05