c-ijcai-95-1964E. Giunchiglia and Vladimir Lifschitz.
Dependent Fluents. [postscript]
Proc. International Joint Conference on Artificial Intelligence, 1995, pp. 1964-1969.