@article{LambersOrejas2021,
  author    = {Leen Lambers and Fernando Orejas},
  title     = {Transformation rules with nested application conditions},
  journal   = {Theoretical computer science},
  series    = {critical pairs, initial conflicts \& minimality},
  volume    = {884},
  pages     = {44 -- 67},
  doi       = {10.1016/j.tcs.2021.07.023},
  year      = {2021},
}