@article{GolasLambersEhrigetal.2012,
  author    = {Ulrike Golas and Leen Lambers and Hartmut Ehrig and Fernando Orejas},
  title     = {Attributed graph transformation with inheritance: Efficient conflict detection and local confluence analysis using abstract critical pairs},
  journal   = {THEORETICAL COMPUTER SCIENCE},
  volume    = {424},
  pages     = {46 -- 68},
  doi       = {10.1016/j.tcs.2012.01.032},
  year      = {2012},
}