Lukasz Kaiser: Synthesis for Structure Rewriting Systems. MFCS 2009: 415-426