Proof lengths for equational completion - Plaisted, David A.; Sattler-Klein, Andrea (1995)