Chung-Hsuen Jeff Ho Completeness of the LELS Inference Rule in Automated Theorem Proving. 153-164 1999 15 J. Inf. Sci. Eng. 1 http://www.iis.sinica.edu.tw/page/jise/1999/199901_10.html db/journals/jise/jise15.html#Ho99