Reasoning about temporal relations : the tractable subalgebras of Allen's interval algebra - Krokhin, A; Jeavons, P; Jonsson, P (2003)