Jochen Dörre Roland Seiffert A Formalism for Natural Language - STUF. 33-38 1991 journals/lncs/1991-546 Text Understanding in LILOG db/journals/lncs/lncs546.html#DorreS91