Matching Regular-Typed Pattern Languages: Quadratic-Time Algorithms.

Yuya Uezato

Browse the full CPM paper archive.