Carlo Combi, Massimo Franceschet, Adriano Peron. A Logical Approach to Represent and Reason about Calendars. In TIME. pages 134-140, 2002. [doi]
@inproceedings{CombiFP02,
title = {A Logical Approach to Represent and Reason about Calendars},
author = {Carlo Combi and Massimo Franceschet and Adriano Peron},
year = {2002},
url = {http://computer.org/proceedings/time/1474/14740134abs.htm},
tags = {systematic-approach},
researchr = {https://researchr.org/publication/CombiFP02},
cites = {0},
citedby = {0},
pages = {134-140},
booktitle = {TIME},
}