Art Quaife Unsolved Problems in Elementary Number Theory. 287-300 1991 7 J. Autom. Reasoning 2 db/journals/jar/jar7.html#Quaife91