TY  - RPRT
TI  - Fast Computations on Ordered Nominal Sets
AU  - David Venhoek
AU  - Joshua Moerman
AU  - Jurriaan Rot
PY  - 2022
UR  - https://arxiv.org/abs/1902.08414
ID  - 1902.08414
ER  -