Hoffman and O'Donnel's "Pattern matching in trees" implemented in C - View it on GitHub