Gravar-mail: Metaproteomics reveals major microbial players and their biodegradation functions in a large-scale aerobic composting plant