r-linkoping-90-45
Persson and Lennart Staflin.
Cause as an Operator in a Logic with Real-valued Fluents and Continuous Time.
Appeared as Linköping technical report Nr. 90-45 [
postscript
].