Building knowledge systems developing and managing rule-based applications - Carrico, Michael A. (Artificial intelligence series, 1989)