Achieving Several Goals Simultaneously**The research reported herein was sponsored by the National Science Foundation under Grant GJ-36146.

This publication has 14 references indexed in Scilit:

• Logical analysis of programs
  Communications of the ACM, 1976
• Introducing iteration into the Pure Lisp theorem prover
  IEEE Transactions on Software Engineering, 1975
• Knowledge and reasoning in program synthesis
  Artificial Intelligence, 1975
• Guarded commands, non-determinacy and a calculus for the derivation of programs
  Published by Association for Computing Machinery (ACM) ,1975
• New Programming Languages for Artificial Intelligence Research
  ACM Computing Surveys, 1974
• A planning system for robot construction tasks
  Artificial Intelligence, 1974
• Strips: A new approach to the application of theorem proving to problem solving
  Artificial Intelligence, 1971
• An axiomatic basis for computer programming
  Communications of the ACM, 1969
• Application of Theorem Proving to Problem Solving
  Published by Defense Technical Information Center (DTIC) ,1969
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967