Short Proofs Using Compact Representations of Algebraic Integers.

Christoph Thiel Short Proofs Using Compact Representations of Algebraic Integers. 310-329 1995 11 J. Complexity 3 http://dx.doi.org/10.1006/jcom.1995.1014 db/journals/jc/jc11.html#Thiel95