Gaoyan Xie, Zhe Dang, Oscar H. Ibarra: A Solvable Class of Quadratic Diophantine Equations with Applications to Verification of Infinite-State Systems. ICALP 2003: 668-680