@article{Bird2006:Program,
  author = "Richard S. Bird",
  doi = "10.1017/S0956796806006058",
  journal = "Journal of Functional Programming",
  number = "6",
  pages = "671-679",
  title = "A Program to Solve {S}udoku",
  volume = "16",
  year = "2006",
}