@inproceedings{BeckertPosegga94b,
author = {Bernhard Beckert and Joachim Posegga},
title = {Lean Theorem Proving: Maximal Efficiency
from Minimal Means (Position Paper)},
booktitle = {AISB Workshop ``Automated Reasoning:
Closing the Gap between Theory and Practice'',
Working Notes},
venue = {Leeds, England},
pages = {7--8},
month = apr,
year = {1994}
}