Confluence of adhesive HLR-systems with applications to typed atrributed graph transformation systems - Prange, Ulrike (Forschungsberichte der Fakultät IV, Elektrotechnik und Informatik, 2004)