A theoretical analysis of how strain-specific viruses can control microbial species diversity | Synapse