Karl-Heinz Pennemann. Resolution-Like Theorem Proving for High-Level Conditions. In Hartmut Ehrig, Reiko Heckel, Grzegorz Rozenberg, Gabriele Taentzer, editors, Graph Transformations, 4th International Conference, ICGT 2008, Leicester, United Kingdom, September 7-13, 2008. Proceedings. Volume 5214 of Lecture Notes in Computer Science, pages 289-304, Springer, 2008. [doi]
Abstract is missing.