c-ictl-94-82Patrick Doherty and Witold Lukaszewicz.
Circumscribing Features and Fluents.
Proc. International Conference on Temporal Logic, 1994, pp. 82-100.