Constraint Automata and the Complexity of Recursive Subtype Entailment.

Fritz Henglein, Jakob Rehof

Browse the full ICALP paper archive.