Author: International Haifa Verification Conference (2nd 2006 Haifa, Israel)