A real-time AGV-scheduling system that combines human decision-making with integer-programming algorithms. - Joseph E. Krebs; Loren K. Platzman; Christine M. Mitchell (SMC, 1989)