Reasoning about temporal relations: The tractable subalgebras of allen’s interval algebra (2003)

by A Krokhin, P Jeavons, P Jonsson
Venue:Journal of the ACM (JACM