A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming.

Luis Urbina Günter Riedewald A Framework for Symbolic Simulation of Hybrid Systems in Constraint Logic Programming. 29-38 1995 WLP db/conf/wlp/wlp95.html#UrbinaR95