@doctoralThesis{Waldmann_1997,
title={Cancellative abelian monoids in refutational theorem proving},
author={Waldmann, Uwe},
doi={http://dx.doi.org/10.22028/D291-25751},
year={1997}
}