TY  - RPRT
TI  - Superposition with Delayed Unification
AU  - Ahmed Bhayat
AU  - Johannes Schoisswohl
AU  - Michael Rawson
PY  - 2024
DO  - 10.1007/978-3-031-38499-8_2
UR  - https://arxiv.org/abs/2403.04775
ID  - 2403.04775
ER  -