@workingPaper{Steinbach_1988,
title={Term Orderings With Status},
author={Steinbach, Joachim},
doi={http://dx.doi.org/10.22028/D291-40186},
adress={Kaiserslautern},
year={1988}
}