Adherence Equivalence Is Decidable for DOL Languages.

Tom Head

Browse the full STACS paper archive.