Combining logic and differential equations for describing real-world systems (1989)

by E Sandewall
Venue:in: Proc. International Conference on Knowledge Representation