Uniqueness of limit cycles of the predator–prey system with Beddington–DeAngelis functional response

The goal of this paper is to establish the uniqueness of limit cycles of the predator–prey systems with Beddington–DeAngelis functional response. Through a change of variables, the predator–prey system can be transformed into a better studied Gause-type predator–prey system. As a result, the uniqueness of limit cycles can be solved.  2003 Elsevier Inc. All rights reserved