Ulrich Geske Railway Scheduling with Declarative Constraint Programming. 117-134 2005 conf/inap/2005 INAP http://dx.doi.org/10.1007/11963578_10 db/conf/inap/inap2005.html#Geske05