Combining matching algorithms: The regular case (1991)

by Tobias Nipkow
Venue:Journal of Symbolic Computation