B
[BG05] Dietmar Berwanger et Erich Grädel. Entanglement – A Measure for the Complexity of Directed Graphs with Applications to Logic and Games. In LPAR'04, Lecture Notes in Computer Science 3452, pages 209-223. Springer-Verlag, mars 2005. 
@inproceedings{lpar2004-BG,
  author =              {Berwanger, Dietmar and Gr{\"a}del, Erich},
  title =               {Entanglement~-- {A}~Measure for the Complexity of
                         Directed Graphs with Applications to Logic and
                         Games},
  editor =              {Baader, Franz and Voronkov, Andrei},
  booktitle =           {{P}roceedings of the 11th {I}nternational
                         {C}onference {L}ogic {P}rogramming and {A}utomated
                         {R}easoning ({LPAR}'04)},
  acronym =             {{LPAR}'04},
  publisher =           {Springer-Verlag},
  series =              {Lecture Notes in Computer Science},
  volume =              {3452},
  pages =               {209-223},
  year =                {2005},
  month =               mar,
}
Liste des auteurs