An explicit solution to harvesting behaviors in a predator–prey system | Synapse