A Vaccination-Based Mathematical Model for Reducing Malaria Transmission | Synapse