(2010). Local confluence for rules with nested application conditions based on a new critical pair notion. Techn. Univ., Fak. IV, Elektrotechnik und Informatik. https://doi.org/10.14279/depositonce-10243
Chicago-Zitierstil (17. Ausg.)Local Confluence for Rules with Nested Application Conditions Based on a New Critical Pair Notion. Berlin: Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2010. https://doi.org/10.14279/depositonce-10243.
MLA-Zitierstil (9. Ausg.)Local Confluence for Rules with Nested Application Conditions Based on a New Critical Pair Notion. Techn. Univ., Fak. IV, Elektrotechnik und Informatik, 2010. https://doi.org/10.14279/depositonce-10243.
Achtung: Diese Zitate sind unter Umständen nicht zu 100% korrekt.