The logic of medical diagnosis - Massad, Eduardo; Ortega, Neli Regina Siqueira (Congress of Logic Applied to Technology, 2001)