Deductive temporal reasoning with constraints. - Clare Dixon; Boris Konev; Michael Fisher 001; Sherly Nietiadi (J. Appl. Log., 2013)