@InProceedings{KoTh2007,
      AUTHOR = {Koller, Alexander and Thater, Stefan},
      TITLE = {Solving unrestricted dominance graphs},
      YEAR = {2007},
      BOOKTITLE = {Proceedings of the 12th Conference on Formal Grammar, Dublin},
      NOTE = {AK, MP}
}