Computational logic - CL 2000 : First intern. conf.,London, UK, July 2000Proc. / CL 2000, 2000. - Текст : непосредственный.