Haris Aziz Oded Lachish Mike Paterson Rahul Savani http://arxiv.org/abs/0909.5293 2009 CoRR abs/0909.5293 db/journals/corr/corr0909.html#abs-0909-5293 informal publication