Logical aspects of computational linguistics (Springer-Verlag, 1997)