Using Graph Transformation for Puzzle Game Level Generation and Validation. - David Priemer; Tobias George; Marcel Hahn; Lennert Raesch; Albert Zündorf (ICGT, 2016)