Alexander Moshe Rabinovich Non-Elementary Lower Bound for Propositional Duration Calculus. 7-11 1998 66 Inf. Process. Lett. 1 db/journals/ipl/ipl66.html#Rabinovich98 http://dx.doi.org/10.1016/S0020-0190(98)00027-1