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