1. R.R. Bakker, P.A. Hogenhuis, N.J.I. Mars and D.C. van Soest, Diagnosis of technical systems using design descriptions,Proc. Second Generation Expert Systems, Avignon, France, 1989, pp. 107–116.
2. G. Boole,The Mathematical Analysis of Logic (Macmillan, 1947).
3. I. Bratko, I. Mozetič and N. Lavrač,KARDIO: A Study in Deep and Qualitative Knowledge for Expert Systems (MIT Press, Cambridge, MA, 1989).
4. W. Büttner and H. Simonis, Embedding Boolean expressions into logic programming, J. Symbolic Comput. 4 (1987) 191–205.
5. T. Bylander, D. Allemang, M.C. Tanner and J.R. Josephson, Some results concerning the computational complexity of abduction,Proc. Int. Conf. on Principles of Knowledge Representation and Reasoning, Toronto (Morgan Kaufmann, 1989) pp. 44–54.