1. Maintaining knowledge about temporal intervals;Allen;Comm. ACM,1983
2. When does a composition table provide a complete and tractable proof procedure for a relational constraint language?;Bennett,1997
3. Global consistency in interval algebra networks: Tractable subclasses;Bessière,1996
4. Linear Programming;Chvátal,1983
5. Qualitative spatial representation and reasoning techniques;Cohn,1997