Frank M. Brown Camilla Schwind Analysing and Representing Natural Language in Logic. 66-70 1978 AISB/GI (ECAI) db/conf/ecai/ecai78.html#BrownS78