Approximating dependency graphs using tree automata techniques (2001)

by A Middeldorp
Venue:In Proceedings of the International Joint Conference on Automated Deduction