TY  - RPRT
TI  - Steel's Programme: Evidential Framework, the Core and Ultimate-L
AU  - Joan Bagaria
AU  - Claudio Ternullo
PY  - 2021
UR  - https://arxiv.org/abs/2011.14724
ID  - 2011.14724
ER  -