Васильєв, Д. В. Optimization of Aircraft Conflict Resolution by Dynamic Programming. PIC 2010, 2, 46-51.