Advanced Indexing Operations on Substitution Trees.

Peter Graf, Christoph Meyer

Browse the full CADE paper archive.