Tanel Tammet Gandalf. 199-204 1997 18 J. Autom. Reasoning 2 db/journals/jar/jar18.html#Tammet97 http://dx.doi.org/10.1023/A:1005887414560