1
by Bachmair, Leo
Published 2000
Springer Berlin Heidelberg