Investigation into convergence at long wall faces and in gate roadways
On some problems of optimum decisions in geological exploration and mining investment
AI search techniques for game trees: Making effective use of available memory and processors
