c-kr-89-412 | Erik Sandewall. Combining Logic and Differential Equations for Describing Real-World Systems. Proc. International Conf on Knowledge Representation and Reasoning, 1989, pp. 412-420. Also available as Linköping technical report Nr. 89-38 [postscript]. |