Linear Constraints over Infinite Trees.

Martin Hofmann, Dulma Rodriguez

Browse the full LPAR paper archive.