@misc{ duchier-weak,
  title = {An Efficient Algorithm for Weakly Normal Dominance Constraints},
  author = {Manuel Bodirsky and Denys Duchier and Joachim Niehren and Sebastian Miele},
  year = {2003}}