Literal Trees and Resolution Technique. - Alexander V. Lyaletski; Alexander A. Letichevsky; Oleksandr Kalinovskyy (Intelligent Information Systems, 2005)