Machine-Checking the Timed Interval Calculus.

Published in: Australian Joint Conference on Artificial Intelligence (2002)