Structure Formation in Large Theories<pre>@inproceedings{AH-15-c,
  author        = {Serge Autexier and Dieter Hutter},
  editor        = {Manfred Kerber,  Jacques Carette, Volker Sorge, Cezary Kaliszyk, Florian Rabe},
  booktitle     = {Proceedings Conference on Intelligent Computer Mathematics (CICM-2015)},
  title         = {Structure Formation in Large Theories},
  series        = {LNAI},
  publisher     = {Springer},
  month         = {july},
  year          = {2015},
}
</pre>