TY  - RPRT
TI  - Term Orders for Optimistic Lambda-Superposition
AU  - Alexander Bentkamp
AU  - Jasmin Blanchette
AU  - Matthias Hetzenberger
PY  - 2025
UR  - https://arxiv.org/abs/2510.18452
ID  - 2510.18452
ER  -