Design of logic-based intelligent systems. - Truemper, K., 1942- (Wiley, 2004)