Theory and Practice of Logic Programming. - Журнал выходит с 2001г. r=on-line. - Текст : электронный.