Rusins Freivalds, Ognian Botuscharov, Rolf Wiehagen. Identifying Nearly Minimal Gödel Numbers from Additional Information. Annals of Mathematics and Artificial Intelligence, 23(1-2):199-209, 1998.
@article{FreivaldsBW98,
title = {Identifying Nearly Minimal Gödel Numbers from Additional Information},
author = {Rusins Freivalds and Ognian Botuscharov and Rolf Wiehagen},
year = {1998},
researchr = {https://researchr.org/publication/FreivaldsBW98},
cites = {0},
citedby = {0},
journal = {Annals of Mathematics and Artificial Intelligence},
volume = {23},
number = {1-2},
pages = {199-209},
}