Giovanni Guida, Marina Zanella: Preventive Diagnosis: Definition and Logical Model. AI*IA 1995: 347-352