Optimal Control Analysis of Vertically Transmitted Infectious Diseases With Saturated Incidence and Nonlinear Treatment | Synapse