Solving Systems of Set Constraints using Tree Automata.

Rmi Gilleron, Sophie Tison, Marc Tommasi

Browse the full STACS paper archive.