@article{SMBlog:2007-07-19,
	author = {Steven M. Bellovin},
	title = {Checkers: Solved},
	date = {2007-07-19},
	year = {2007},
	month = {July 19,},
	journal = {SMBlog: Steve Bellovin's Blog (blog)},
	url = {https://www.cs.columbia.edu/~smb/blog/2007-07/2007-07-19.html},
}