Carlo Combi, Massimo Franceschet, Adriano Peron: A Logical Approach to Represent and Reason about Calendars. TIME 2002: 134-140