1. Ironies of automation;Bainbridge;Automatica,1983
2. Qualitative reasoning with higher-order derivatives;De Kleer,1984
3. Qualitative on confluences;De Kleer;Artificial Intelligence,1984
4. Qualitative reasoning for supervision;Dziopa,1993
5. Qualitative behavioral modeling for process supervision system (in French);Féray-Beaumont,1989