Hinrichs, T.; Forbus, K.; deKleer, J.; Yoon, S.; Jones, E.; Hyland, R.; Wilson, J. Hybrid Qualitative Simulation of Military Operations. AAAI 2011, 25, 1655-1661.