Robert Spalek A Dual Polynomial for OR http://arxiv.org/abs/0803.4516 2008 CoRR abs/0803.4516 db/journals/corr/corr0803.html#abs-0803-4516