Sheila A. McIlraith Pavlos Peppas Michael Thielscher Preface. 847-849 2007 17 J. Log. Comput. 5 http://dx.doi.org/10.1093/logcom/exm044 db/journals/logcom/logcom17.html#McIlraithPT07