TY  - RPRT
TI  - Extending Higher-Order Critical Pairs
AU  - Johannes Niederhauser
AU  - Aart Middeldorp
PY  - 2026
UR  - https://arxiv.org/abs/2610.38576
ID  - 2610.38576
ER  -