A Logical Approach to Represent and Reason about Calendars

Carlo Combi, Massimo Franceschet, Adriano Peron. A Logical Approach to Represent and Reason about Calendars. In TIME. pages 134-140, 2002. [doi]

Bibliographies