ItalianComputationalLogicTechRep08