Bernhard Nebel Hans-Jürgen Bürckert Reasoning about Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra. 43-66 1995 42 J. ACM 1 db/journals/jacm/jacm42.html#NebelB95 http://doi.acm.org/10.1145/200836.200848