A complete classification of complexity in Allen's algebra in the presence of a non−trivial basic relation - Krokhin, A; Jeavons, P; Jonsson, P (2001)