TY  - RPRT
TI  - Optimistic Higher-Order Superposition
AU  - Alexander Bentkamp
AU  - Jasmin Blanchette
AU  - Matthias Hetzenberger
AU  - Uwe Waldmann
PY  - 2025
UR  - https://arxiv.org/abs/2510.18429
ID  - 2510.18429
ER  -