@TechReport{DS94a,
  author = 	 "J. Denzinger and S. Schulz",
  title = 	 "{Analysis and Representation of Equational Proofs
		  Generated by a Distributed Completion Based Proof
		  System}",
  institution =  "Universit{\"a}t Kai\-sers\-lau\-tern",
  year = 	 "1994",
  type =	 "Seki-Report",
  number =	 "SR-94-05",
}