Decidable linear list constraints.

Sabine Bauer, Martin Hofmann

Browse the full LPAR paper archive.