Blackburn P. A proof system for finite trees / P. Blackburn, W. Meyer-Viol, M.de Rijke, 1995. - 19 p. - Текст : непосредственный.
Blackburn P. Linguistics,logic,and finite trees / P. Blackburn, W. Meyer-Viol, 1994. - 25 p. - Текст : непосредственный.