CITATION STYLE
Lyaletski, A., Letichevsky, A., & Kalinovskyy, O. (2006). Literal Trees and Resolution Technique. In Intelligent Information Processing and Web Mining (pp. 97–106). Springer-Verlag. https://doi.org/10.1007/3-540-32392-9_11
Mendeley helps you to discover research relevant for your work.