Author: O. Sela, B. Tamir, S. Dolev, A. C. Elitzur