Logic for programming, artificial intelligence, and reasoning / SpringerLink (Online service), 2005 r=on-line. - Текст : электронный.
Term rewriting and applications : 18th international conference, RTA 2007, Paris, France, June 26-28, 2007: proceedings / ed. F. Baader, 2007 r=on-line. - Текст : электронный.