TY  - RPRT
TI  - Subsumption Demodulation in First-Order Theorem Proving
AU  - Bernhard Gleiss
AU  - Laura Kovacs
AU  - Jakob Rath
PY  - 2020
UR  - https://arxiv.org/abs/2001.10213
ID  - 2001.10213
ER  -