@workingPaper{Baader_1992, title={Unification theory}, author={Baader, Franz}, doi={http://dx.doi.org/10.22028/D291-24986}, year={1992} }