National Research Council (U.S.). Committee on Seismic Signals from Mining Activities.