@doctoralThesis{Kruglov_2013, title={Superposition modulo theory}, author={Kruglov, Evgeny}, doi={http://dx.doi.org/10.22028/D291-26547}, subtitle={Superposition modulo Theorie}, year={2013} }