r-linkoping-90-45Persson 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].