Complexity and algorithms for reasoning about time: a graph-theoretic approach (1993)

by M C Golumbic, R Shamir
Venue:Journal of the ACM (JACM