Documents Etudes supérieures Representation of Sets of Trees for Abstract Interpretation Laurent Mauborgne