An implementation of Runge's method for Diophantine equations
  In this paper we suggest an implementation of Runge's method for solving Diophantine equations satisfying Runge's condition. In this implementation we avoid the use of Puiseux series and algebraic coefficients. 
F. Beukers (Utrecht University), Sz. Tengely (University of Debrecen)