Algebras, diagrams, and decisions in language, logic, and computation - Vermeulen, Kees.; Copestake, Ann. (CSLI Publications, 2001)