Fast Subsumption Between Rooted Labeled Trees.

Olivier Carloni

Browse the full KSEM paper archive.