Solving systems of set constraints using tree automata (1993)

by R Gilleron, S Tison, M Tommasi
Venue:Proc. of 10th Annual Symposium on Theoretical Aspects of Computer Science, STACS93