Author: International Haifa Verification Conference (4th 2008 Haifa, Israel)