- Author: Andrea Asperti
- Language: English
- Year: 1991
- Author: Andrea Asperti
- Language: English
- Year: 1991
- Author: Yuri Matiyasevich
- Language: English
- Year: 1993
- Author: Dan Gusfield Robert W. Irving
- Language: English
- Year: 1989
- Author: Yuri Matiyasevich
- Language: English
- Year: 1993
- Author: Joseph A. Goguen Grant Malcolm
- Language: English
- Year: 1996
- Author: Carl A. Gunter
- Language: English
- Year: 1992
- Author: Carl A. Gunter John C. Mitchell (ed.)
- Language: English
- Year: 1994
- Author: Yuri Matiyasevich Martin Davis Hilary Putnam
- Language: English
- Year: 1993
- Author: Gordon Plotkin Colin P. Stirling Mads Tofte
- Language: English
- Year: 2000