1. Graph transformation through graph surfing in reaction systems;Kreowski;J. Log. Algebraic Methods Program.,2019
2. On the essence and initiality of conflicts in M-adhesive transformation systems;Azzi;J. Log. Algebraic Methods Program.,2019
3. Cores: a tool for computing core graphs via sat/smt solvers;König;J. Log. Algebraic Methods Program.,2019
4. A calculus of concurrent graph-rewriting processes;Kulcsár;J. Log. Algebraic Methods Program.,2020