1. Building Expert Systems;Hayes-Roth,1983
2. Expert computer aided decision in supervisory control;Bisseret,1984
3. Symbolic Logic and Mechanical Theorem Proving;Chang,1973
4. A machine-oriented logic based on the resolution principle;Robinson;J. ACM,1965
5. Automatic generation of switching sequence for substation equipments;Sakaguchi,1981