GPS ambiguity resolution as a classification problem - Teunissen, Peter (1999)