Rusins Freivalds Ognian Botuscharov Rolf Wiehagen Identifying Nearly Minimal Gödel Numbers from Additional Information. 199-209 1998 23 Ann. Math. Artif. Intell. 1-2 db/journals/amai/amai23.html#FreivaldsBW98