Shirley Halevy Oded Lachish Ilan Newman Dekel Tsur 264-277 2007 conf/coco/2007 IEEE Conference on Computational Complexity http://doi.ieeecomputersociety.org/10.1109/CCC.2007.31 db/conf/coco/coco2007.html#HalevyLNT07