Definability and decidability of binary predicates for time granularity

Massimo Franceschet, Angelo Montanari, Adriano Peron, Guido Sciavicco. Definability and decidability of binary predicates for time granularity. J. Applied Logic, 4(2):168-191, 2006. [doi]

Abstract

Abstract is missing.