On linear recurrence relations satisfied by Pisot sequences
Volume 47 / 1986
Acta Arithmetica 47 (1986), 13-27
DOI: 10.4064/aa-47-1-13-27