@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}
}