Identifying Nearly Minimal Gödel Numbers from Additional Information. - Rusins Freivalds; Ognian Botuscharov; Rolf Wiehagen (Ann. Math. Artif. Intell., 1998)