Michael J. Jacobson Jr. Alfred J. van der Poorten Computational Aspects of NUCOMP. 120-133 2002 conf/ants/2002 ANTS http://link.springer.de/link/service/series/0558/bibs/2369/23690120.htm db/conf/ants/ants2002.html#JacobsonP02