@InProceedings{BeckertPosegga94d,
   author        = {Bernhard Beckert and Joachim Posegga},
   title         = {Logic Programming as a Basis for Lean Deduction:
                    Achieving Maximal Efficiency from Minimal Means},
   booktitle     = {10th Logic Programming Workshop},
   venue         = {Z\"{u}rich, Switzerland},
   editor        = {N. E. Fuchs and G. Gottlob},
   publisher     = {Institut f\"{u}r Informatik der Universit\"{a}t
                    Z\"{u}rich},
   month         = oct,
   year          = {1994}
}