Massimo Franceschet Angelo Montanari Adriano Peron Guido Sciavicco Definability and decidability of binary predicates for time granularity. 168-191 2006 4 J. Applied Logic 2 http://dx.doi.org/10.1016/j.jal.2005.06.004 db/journals/japll/japll4.html#FranceschetMPS06