References

Hewitt, Carl, Planner: A Language for Manipulating Models and Proving Theorems in a Robot, Proc. International Joint Conference on Artificial Intelligence, May 1969.

Lebling, P. David, The MDL Programming Environment, Laboratory for Computer Science, M.I.T., 1979.

Moon, David A., MACLISP Reference Manual, Laboratory for Computer Science, M.I.T., April 1974.