Bachmair

Bachmair is the author of books such as Canonical Equational Proofs.

Books by Bachmair