@doctoralThesis{Stuber_2000,
title={Superposition theorem proving for commutative algebraic theories},
author={Stuber, Jürgen},
doi={http://dx.doi.org/10.22028/D291-25749},
year={2000}
}