<https://www.comp.nus.edu.sg/~wongwf/papers/CONGA23-Bedot.pdf>