James Cook, Ian Mertz: Catalytic approaches to the tree evaluation problem. STOC 2020: 752-760