_id,doi,title
4619,10.1145/167088.167242,Parametric real-time reasoning