Decidable Inequalities over Infinite Trees.

Sabine Bauer, Steffen Jost, Martin Hofmann

Browse the full LPAR paper archive.