Title: Mining terms, rock classification, and excerpts from mining decisions
First published: 1936