Marcus Ermler, Hans-Jörg Kreowski, Sabine Kuske, Caroline von Totth. From Graph Transformation Units via MiniSat to GrGen.NET. In Andy Schürr, Dániel Varró, Gergely Varró, editors, Applications of Graph Transformations with Industrial Relevance - 4th International Symposium, AGTIVE 2011, Budapest, Hungary, October 4-7, 2011, Revised Selected and Invited Papers. Volume 7233 of Lecture Notes in Computer Science, pages 153-168, Springer, 2011. [doi]
Abstract is missing.