A Strategy for reasoning in natural language. - Daniel Kayser; P. Fosse; M. Karoubi; Bernard Levrat; Lydia Nicaud (Appl. Artif. Intell., 1987)