| Authored By: | Rusins Freivalds, Ognian Botuscharov and Rolf Wiehagen |
| Paper Title: | Identifying nearly minimal Gödel numbers from additional information |
| In: | Annals of Mathematics and Artificial Intelligence |
| Number 1/2 Vol. 23 | |
| Publication Date: | 1998 |
| Pages: | 199-209 |