@article {3529,
	title = {Proof of Correctness of Ressel{\textquoteright}s adOPTed Algorithm},
	journal = {Information Processing Letters},
	volume = {86},
	year = {2003},
	pages = {303--310},
	doi = {10.1016/S0020-0190(03)00227-8},
	author = {Brad Lushman and Gordon Cormack}
}
