A proof system for finite trees - Blackburn, Patrick 1959-; Meyer-Viol, Wilfried; Rijke, Maarten de (Univ. des Saarlandes, Computerlinguistik, 1995)