Uniqueness of limit cycles in a Predator—Prey system with Holling-type functional response