By Claudia Schulz and Francesca Toni. Communicated by Pedro Cabalar Fernandez and Michael Fink.
By Luís Moniz Pereira and Ari Saptawijaya. Communicated by Editors.
By Amelia Harrison, Vladimir Lifschitz, and Miroslaw Truszczynski. Communicated by Pedro Cabalar Fernandez and Michael Fink.
By Theofrastos Mantadelis, Univ of Porto, and Gerda Janssens, KU Leuven. Communicated by Vitor Santos Costa and Fabrizio Riguzzi.
By Rehan Abdul Aziz, Geoffrey Chu, and Peter James Stuckey. Communicated by Martin Gebser and Ricardo Rocha.
By Pavel Surynek. Communicated by Roman Bartak and Tom Schrijvers.
By Yuliya Lierler and Peter Schüller. Communicated by Paul Tarau.
By André Freitas and João C. Pereira da Silva. Communicated by Alessandra Mileo and Thomas Kreenwalner
By Broes De Cat, Bart Bogaerts, and Marc Denecker. Communicated by Marcello Balduccini and Tran Cao Son.
By Ethan K. Jackson, Microsoft Research, Redmond, WA. Communicated by John Gallagher and Michael Leuschel.