Knight, B., Ma, J., & Peng, T. (1997, July). A discrete formalism for reasoning about action and change. Presented at The Twelfth International Conference on Artificial Intelligence in Engineering