TY  - RPRT
TI  - Superposition for Lambda-Free Higher-Order Logic
AU  - Alexander Bentkamp
AU  - Jasmin Blanchette
AU  - Simon Cruanes
AU  - Uwe Waldmann
PY  - 2021
DO  - 10.23638/lmcs-17(2:1)2021
UR  - https://arxiv.org/abs/2005.02094
ID  - 2005.02094
ER  -