Roberta Costabile, Gelsomina Catalano, Bernardo Cuteri, Maria Concetta Morelli, Nicola Leone, Marco Manna: A logic-based decision support system for the diagnosis of headache disorders according to the ICHD-3 international classification. CoRR abs/2008.02747 (2020)