A Proof System for Finite Trees.

Patrick Blackburn, Wilfried Meyer-Viol, Maarten de Rijke

Browse the full CSL paper archive.