Hybrid Systems and Constraint Logic Programming.

Anil Nerode, Wolf Kohn

Browse the full ICLP paper archive.