Andrew Badr Ian Shipman http://arxiv.org/abs/cs/0702053 2007 CoRR abs/cs/0702053 db/journals/corr/corr0702.html#abs-cs-0702053