Jean-François Condotta Gérard Ligozat Axiomatizing the Cyclic Interval Calculus. 95-105 2004 conf/kr/2004 KR db/conf/kr/kr2004.html#CondottaL04