Alfonso Gerevini Incremental qualitative temporal reasoning: Algorithms for the Point Algebra and the ORD-Horn class. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:166, n:1-2, pp:37-80 [Journal]
Ernest Davis Knowledge and communication: A first-order theory. [Citation Graph (0, 0)][DBLP] Artif. Intell., 2005, v:166, n:1-2, pp:81-139 [Journal]