A logical approach to represent and reason about calendars

C. COMBI

A. PERON

FRANCESCHET, Massimo