Unifikation und Reduktionssysteme für Halbgruppenvarietäten. Dissertation, Universität Erlangen-Nürnberg (1989)

by F Baader