TY  - RPRT
TI  - Learning from Łukasiewicz and Meredith: Investigations into Proof Structures (Extended Version)
AU  - Christoph Wernhard
AU  - Wolfgang Bibel
PY  - 2021
DO  - 10.1007/978-3-030-79876-5_4
UR  - https://arxiv.org/abs/2104.13645
ID  - 2104.13645
ER  -