TY  - RPRT
TI  - Structure Formation in Large Theories
AU  - Serge Autexier
AU  - Dieter Hutter
PY  - 2015
UR  - https://arxiv.org/abs/1505.01620
ID  - 1505.01620
ER  -