Leonard Bolc Tomek Strzalkowski Transformation Of Natural Language Into Logical Formulas. 29-36 1982 COLING http://acl.ldc.upenn.edu/C/C82/C82-1005.pdf db/conf/coling/coling1982.html#BolcS82