@Article{BeckertPosegga96,
  title    = {Logic Programming as a Basis for Lean Automated Deduction},
  author   = {Bernhard Beckert and Joachim Posegga},
  journal  = {Journal of Logic Programming},
  pages    = {231--236},
  volume   = {28},
  number   = {3},
  year     = {1996}
}