Maurice Mignotte Sur l'équation de Catalan, II. 145-149 1994 123 Theor. Comput. Sci. 1 db/journals/tcs/tcs123.html#Mignotte94