@Article{OB03,
    Author       = "Otten, J. and Bibel, W.",
    Year         = "2003",
    Title        = "{leanCoP: Lean Connection-based Theorem Proving}",
    Journal      = "Journal of Symbolic Computation",
    Volume       = "36",
    Number       = "1-2",
    Pages        = "139-161",
    Comment      = ""
}