Interval Duration Logic: Expressiveness and Decidability

Paritosh K. Pandya. Interval Duration Logic: Expressiveness and Decidability. Electronic Notes in Theoretical Computer Science, 65(6):254-272, 2002. [doi]

Abstract

Abstract is missing.