- Author: J W de Bakker, Erik de Vink
- Language: English
- Year: 1996
- Author: Carl A Gunter
- Language: English
- Year: 1992
- Author: Carl A. Gunter John C. Mitchell
- Language: English
- Year: 1994
- Author: Jaco de Bakker Erik de Vink
- Language: English
- Year: 1996
- Author: Matthew Hennessy
- Language: English
- Year: 1988
- Author: Toshihide Ibaraki Naoki Katoh
- Language: English
- Year: 1988
- Author: Carl A. Gunter
- Language: English
- Year: 1992
- Author: S. Yu. Maslov Michael Gelfond Vladimir Lifschitz
- Language: English
- Year: 1987
- Author: Ian Parberry
- Language: English
- Year: 1994
- Author: van Eijck J. Visser A. (eds.)
- Language: English
- Year: 1994