Wilkins, David, and Karen Myers. "A common knowledge representation for plan generation and reactive execution." Journal of Logic and Computation  5, no. 6 (1995).