The Chabauty-Coleman bound at a prime of bad reduction
  We extend the refined version of the Chabauty-Coleman bound on the number of rational points on a curve of genus g>1 to the case of bad reduction. 
David Brown