Incremental Bidirectional Transformations: Evaluating Declarative and Imperative Approaches using the AST2Dag Benchmark. - Matthias Bank; Sebastian Kaske; Thomas Buchmann; Bernhard Westfechtel (ENASE, 2020)