Long-term scheduling in underground coal mining using mixed binary programming. - Jan West-Hansen (1989)