Philippe Blache, Edward Stabler, Joan Busquets, Richard Moot Logical Aspects of Computational Linguistics - 2005 ISBN: 978-3-540-31953-5 Subjects--Topical Terms: Mathematical Logic and Formal LanguagesComputer Science