Relational Logic : Journal for Logicians and Programmers. - Журнал выходит с 2001г. - Текст : непосредственный.