The Deductive Spreadsheet - Iliano Cervesato ((Cognitive Technologies))