Authors: Bachmair

  • Canonical Equational Proofs — Bachmair

    Canonical Equational Proofs — Bachmair