Abraham Kandel; Suzanne Smith Verification and Validation of Rule-Based Expert Systems - Taylor and Francis 1993 ISBN: 9781315214238 Source: EBOOK