Bibliography (4):

  1. https://dl.acm.org/doi/abs/10.1145/322003.322015

  2. https://dl.acm.org/doi/pdf/10.1145/3618260.3649664

  3. Catalytic Approaches to the Tree Evaluation Problem