Mint essential oil: A natural and effective agent for controlling house dust mites - Haiming Cai; Xu Zhang; Zhibin Lin; Shanshan Li; Huiquan Lin; Yongwen Lin (PLoS ONE, 2025)