Publikation On Equational Theories Hans-Jürgen Bürckert; Alexander Herold; Manfred Schmidt-Schauß Universität Kaiserslautern, SEKI Reports, Vol. SR-87-20, 1987. BibTeX Export On Equational Theories@techreport{pub2537, author = { Bürckert, Hans-Jürgen and Herold, Alexander and Schmidt-Schauß, Manfred }, title = {On Equational Theories}, series = {SEKI Reports}, year = {1987}, volume = {SR-87-20}, institution = {Universität Kaiserslautern} }