Dietmar Berwanger, Erich Grädel. Entanglement - A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. In Franz Baader, Andrei Voronkov, editors, Logic for Programming, Artificial Intelligence, and Reasoning, 11th International Conference, LPAR 2004, Montevideo, Uruguay, March 14-18, 2005, Proceedings. Volume 3452 of Lecture Notes in Computer Science, pages 209-223, Springer, 2004. [doi]
Abstract is missing.