Y. Ben-dov, Optimal testing procedures for special structures of coherent system,Management Science 27(12) (1981) 1410–1420.
R. Butterworth, Some reliability fault-testing models,Operations Research 20 (1972) 335–343.
J. De Kleer and B.C. Williams, Diagnosing multiple faults,Artificial Intelligence 32 (1987) 97–130.
J. De Kleer, Using crude probability estimates to guide diagnosis,Artificial Intelligence 45 (1990) 381–391.
W.F. Dowling and J.H. Gallier, Linear time algorithms for testing the satisfiability of Horn formulae,J. Logic Programming 3 (1984) 267–284.
R. Duda, J. Gasching and P. Hart, Model design in the PROSPECT consultant system for mineral exploration, in:Expert Systems in the Micro-electronic Age (Edinburgh Univ. Press, Great Britain, 1979).
F. Hates-Roth, D.A. Waterman and D.B. Lenat,Building Expert Systems (Addison-Wesley, Reading, MA, 1983).
R.G. Jeroslow and J. Wang, Dynamic programming, integral polyhedra and Horn clause knowledge bases,ORSA's Journal on Computing 1 (1989) 7–19.
J.D. Kershaw,Digital Electronics — Logic and Systems (Wadsworth, Belmont, CA, 1976).
G.F. Luger and W.A. Stubblefield,Artificial Intelligence and the Design of Expert Systems (Benjamin/Cummings, Redwood City, CA, 1989).
C.S. Mellish, Generalized alpha-beta pruning as a guide to expert system question selection,Expert System '85, Proceedings of the Fifth Technical Conference of the British Computer Society Specialist Group on Expert Systems, Univ. of Warwick (Cambridge Univ. Press, Cambridge CB2 1RP, 1985) pp. 31–41.
E. Triantaphyllou and J. Wang, The problem of asking the minimum number of questions in Horn clause systems,Math. Comput. Modeling 20(9) (1994) 75–87.
J. Wang and J. Vande Vate, Question-asking strategies for Horn clause systems,Annals of Mathematics and Artificial Intelligence 1 (1990) 359–370.