Maintaining knowledge about temporal intervals
A truth maintenance system