Acyclic subdigraphs and linear orderings polytopes, facets, and a cutting plane algorithm - Grötschel, M. (Preprint, 1984)