Alexandra Henzinger, Edward Pyne, Seyoon Ragavan: Catalytic Tree Evaluation From Matching Vectors. Electron. Colloquium Comput. Complex. TR26: Article TR26-022 (2026)