TY - RPRT TI - Initial Conflicts for Transformation Rules with Nested Application Conditions AU - Leen Lambers AU - Fernando Orejas PY - 2020 UR - https://arxiv.org/abs/2005.05901 ID - 2005.05901 ER -