ECAI 2016 Tutorial
Fabrizio Riguzzi
Dipartimento di Matematica e Informatica
Università di Ferrara
pdf, html