A financial support is acknowledged
Supported by the I- CORE program of the planning and budgeting committee and the israel science foundation (4/11)
SAGT is in cooperation with the European Association of Theoretical Computer Science (EATCS)
