@Article{DKS97,
  author = 	 {J. Denzinger and M. Kronenburg and S. Schulz},
  title = 	 {{DISCOUNT: A Distributed and Learning Equational
                  Prover}},
  journal = 	 {Journal of Automated Reasoning},
  year = 	 {1997},
  number =	 {18},
  pages =	 {189-198},
  note =	 {Special Issue on the CADE 13 ATP System Competition},
}