@workingPaper{Bürckert_1987,
title={Solving Disequations in Equational Theories},
author={Bürckert, Hans-Jürgen},
doi={http://dx.doi.org/10.22028/D291-40183},
adress={Kaiserslautern},
year={1987}
}