ECST - Extended Context-Free Straight-Line Tree Grammars. - Stefan Böttcher; Rita Hartel; Thomas Jacobs; Markus Jeromin (BICOD, 2015)