@Article{DKS97-JAR-18,
    Author       = "Denzinger, J. and Kronenburg, M. and Schulz, S.",
    Year         = "1997",
    Title        = "{DISCOUNT: A Distributed and Learning Equational Prover}",
    Journal      = "Journal of Automated Reasoning",
    Volume       = "18",
    Number       = "2",
    Pages        = "189-198",
    Comment      = "TPTPRefForResults"
}