Venhoek, et al.. Fast Computations on Ordered Nominal Sets. 18 Dec. 2020.