Structured induction in expert systems - Shapiro A D (Wokingham addison-Wesley, 1987)
Keywords: Computer science