A Logical Approach to Represent and Reason about Calendars.

Carlo Combi, Massimo Franceschet, Adriano Peron

Browse the full TIME paper archive.