A logical approach to computational corpus linguistics - Lager, Torbjörn (Gothenburg monographs in linguistics, 1995)