Term rewriting and applications / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Automated reasoning : 5th International joint conference, IJCAR 2010, Edinburgh, UK, July 16-19, 2010: proceedings / eds. J. Giesl, R. Hahnle, 2010 r=on-line. - Текст : электронный.