%0 Journal Article
%T Making simple proofs simpler
%A Pietro Codara
%A Ottavio M. D'Antona
%A Francesco Marigo
%A Corrado Monti
%J Computer Science
%D 2013
%I arXiv
%X An open partition \pi{} [Cod09a, Cod09b] of a tree T is a partition of the vertices of T with the property that, for each block B of \pi, the upset of B is a union of blocks of \pi. This paper deals with the number, NP(n), of open partitions of the tree, V_n, made of two chains with n points each, that share the root.
%U http://arxiv.org/abs/1307.1348v1