Analysis and representation of equational proofs generated by a distributed completion based proof system - Denzinger, Jörg; Schulz, Stephan (Seki-Report, 1994)