Text this: Proceedings of the symposium on environmental engineering in coal mining :