TY  - RPRT
TI  - On the (In-)Completeness of Destructive Equality Resolution in the Superposition Calculus
AU  - Uwe Waldmann
PY  - 2024
UR  - https://arxiv.org/abs/2405.03367
ID  - 2405.03367
ER  -