Lijun Sun, Xiangpei Hu: Knowledge Representation for the Model of Capacitated Vehicle Routing Problems. CIMCA/IAWTIC 2005: 1110-1114