Key theory and technology of cemented paste backfill for green mining of metal mines | Synapse