Automated reasoning on trees with cardinality constraints. (Raisonnement automatisé sur les arbres avec des contraintes de cardinalité). - Ismael Bárcenas Patiño (2011)