Automated deduction - CADE 21 : 21st international conference on automated deduction Bremen, Germany, July 17-20, 2007: proceedings / ed. F. Pfenning, 2007 r=on-line. - Текст : электронный.
Term rewriting and applications : 17th international conference, RTA 2006, Seattle, Wa, USA, August 12-14, 2006: proceedings / SpringerLink (Online service), 2006 r=on-line