A representation of action and belief for automatic planning systems /
Drummond, Mark E.
University of Edinburgh.Artificial Intelligence Applications Institute.
Edinburgh : Artificial Intelligence Applications Institute, University of Edinburgh,
c1986.