A Generalization of the Procedure of Karp and Miller to Well Structured Transition Systems.

Alain Finkel

Browse the full ICALP paper archive.