Proof lengths for equational completion - Plaisted, David A.; Sattler-Klein, Andrea (Universität <Kaiserslautern> / SEKI-Projekt: SEKI-Report, 1995)