Leonard Bolc, Tomek Strzalkowski: Transformation Of Natural Language Into Logical Formulas. COLING 1982: 29-36