TY  - RPRT
TI  - SCL(FOL) Can Simulate Non-Redundant Superposition Clause Learning
AU  - Martin Bromberger
AU  - Chaahat Jain
AU  - Christoph Weidenbach
PY  - 2023
UR  - https://arxiv.org/abs/2305.12926
ID  - 2305.12926
ER  -