Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 20300

Published in: Technische Universität Kaiserslautern: Interner Bericht / Technische Universität Kaiserslautern, Fachbereich Informatik ; 18500

Published in: ChemPhysChem ; 22(2021), 11, Seite 1065-1073

Published in: Theoretical Computer Science

Published in: Rewriting Techniques and Applications

Published in: Lecture Notes in Computer Science

Published in: Journal of Symbolic Computation

Published in: Rewriting Techniques and Applications

Published in: Fundamentals of Computation Theory

Published in: Rewriting Techniques and Applications

Published in: Information and Computation

Published in: Journal of Symbolic Computation

Published in: Algorithms and Computation