Logical Aspects of Computational Linguistics : Second International Conference, LACL'97, Nancy, France, September 22-24, 1997, Selected Papers - Alain Lecomte, François Lamarche, Guy Perrier ((Lecture Notes in Computer Science))