Sistem pakar fuzzy penentuan besaran SPP Proporsional dengan menggunakan metode Mamdani - DharmaSuryaPradana (2011)