TY  - RPRT
TI  - Schematic Refutations of Formula Schemata
AU  - David Cerna
AU  - Alexander Leitsch
AU  - Anela Lolic
PY  - 2020
DO  - 10.1007/s10817-020-09583-8
UR  - https://arxiv.org/abs/1902.08055
ID  - 1902.08055
ER  -