Andrei A. Krokhin Peter Jeavons Peter Jonsson A Complete Classification of Complexity in Allens Algebra in the Presence of a Non-Trivial Basic Relation. 83-88 2001 conf/ijcai/2001 IJCAI db/conf/ijcai/ijcai2001.html#KrokhinJJ01