Algorithms and complexity for reasoning about time (1992)

by Martin Golumbic, Ron Shamir