Design of logic-based intelligent systems - Truemper, Klaus., 1942- (John Wiley & Sons, 2004)