Author: International Haifa Verification Conference (3rd 2007 Haifa, Israel)