Nigel gets to know logic an experiment in natural language generation taking a logical, knowledge based view - Nebel, Bernhard; Sondheimer, Norman K. (Techn. Univ., Fachbereich Informatik, Projektgruppe KIT, 1986)