
- 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