- Author: Frank Drewes
- Language: English
- Year: 2006
- Author: Daniel Kroening Ofer Strichman (auth.)
- Language: English
- Year: 2016
- Author: Dennis Komm (auth.)
- Language: English
- Year: 2016
- Author: Dines Bjørner
- Language: English
- Year: 2006
- Author: Leonid Libkin
- Language: English
- Year: 2004
- Author: Eric Badouel Luca Bernardinello Philippe Darondeau (auth.)
- Language: English
- Year: 2015
- Author: Roberto Gorrieri Cristian Versari (auth.)
- Language: English
- Year: 2015
- Author: Lane A. Hemaspaandra Mitsunori Ogihara
- Language: English
- Year: 2002
- Author: Jörg Flum Martin Grohe
- Language: English
- Year: 2006
- Author: Yves Bertot Pierre Castéran
- Language: English
- Year: 2004