Knight, B., Ma, J., & Peng, T. (1996). A discrete formalism for reasoning about action and change. In R. Adey, G. Rzevski, & R. Teti (Eds.), Applications of artificial intelligence in engineering XIIdoi:10.2495/AI970101
No abstract available.