Golumbic, Martin and
Shamir, Ron. 1992.
“Algorithms and Complexity for Reasoning about Time.” in
AAAI-92. Proceedings of the Tenth National Conference on Artificial Intelligence, edited by Paul S.
Rosenbloom and Peter
Szolovits, pp. 741–747. Menlo Park, California: The
AAAI Press.