Combining matching algorithms: The regular case (1991)

by T Nipkow
Venue:Journal of Symbolic Computation