| title | ISBN-13 (ISBN-10) | year of publication |
|---|---|---|
| Canonical Equational Proofs | 978-0-8176-3547-3 (0-8176-3547-5) | 1991 |
| Canonical Equational Proofs | 978-0-8176-3555-8 (0-8176-3555-6) | 1991 |
Andrea Bachmair · Andreas Bachmair · Bachmair u. A. · Baezner · Basner · Bausenhart · Bazemore · Beichner · Beisner · Bekemeier · Ben Bachmair · Besnier · Beugnard · Bezner · Bickmore · BIGNER · Bismarck · Bissmeyer · Boeckner · Böschemeyer · Bogner · Boisnard · Bokemeyer · Bougneres · Bousmar · Buchner · Buckner · Büchner · Clemens Bachmair · Felix Bachmair · Günther Dambachmair · Gunther Dambachmair · H. Bachmair · Heinrich F Bachmair · Heinrich F.S Bachmair · Leo Bachmair · Sabine Bachmair · Sebastian Weitkamp;Günther Dambachmair · Thomas Bachmair