1. Theorem Proving by Resolution as a Basis for Question-Answering Systems;Cordell;Mach. Intell.,1969
2. John, M. (1963). Situations, Actions, and Causal Laws, Comtex Scientific.
3. Strips: A New Approach to the Application of Theorem Proving to Problem Solving;Fikes;Artif. Intell.,1971
4. Howe, A., Knoblock, C., McDermott, I.S.D., Ram, A., Veloso, M., Weld, D., Sri, D.W., Barrett, A., and Christianson, D. (1998). PDDL—The Planning Domain Definition Language, The AIPS-98 Planning Competition Committee. Technical Report.
5. Automated Planning and Scheduling for Goal-Based Autonomous Spacecraft;Steve;IEEE Intell. Syst. Their Appl.,1998