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