1. Maintaining knowledge about temporal intervals;Allen;Commun. ACM,1983
2. Data validation during diagnosis, a step beyond traditional sensor validation;Chandrasekaran,1987
3. Building qualitative models of thermodynamic processes;Collins,1991
4. Extending the mathematics in qualitative process theory;D'Ambrosio,1987
5. Diagnostic reasoning based on structure and behavior;Davis;Artif. Intell.,1984