Logic and logic grammars for language processing - Saint-Dizier, Patrick, 1954-; Szpakowicz, Stanislaw (Ellis Horwood series in artificial intelligence, 1990)