Stefik, M. Planning with constraints. Memo HPP-80-2 (Knowledge Systems Laboratory), January 1980. Also Stanford CS Report STAN-CS-80-784, 1980.

Languages mentioned

• UNITS {1977} Frame language