The Algebra of Constraint Satisfaction Problems and Temporal Reasoning (1988)

by P B Ladkin, R Maddux