Temporal Logic-Based Fuzzy Decision Support System For Diagnosis of Rheumatic Fever And Rheumatic Heart Disease