Language and Computation: Karen Sparck Jones Gosse Bouma
Language and Logic: Wojciech Buszkowski Johan Bos
Logic and Computation: Thomas Eiter Ian Horrocks