1. Optimum-AIV: A knowledge-based planning and scheduling system for spacecraft AIV;Aarup,1994
2. Representing and reasoning with temporal constraints in multimedia presentations;Adali,2000
3. Formulation and implementation of an equipment configuration problem with the SIPE-2 generative planner;Agosta,1995
4. Pengi: An implementation of a theory of activity;Agree,1987
5. The Design and Analysis of Computer Algorithms;Aho,1976