Design of logic-based intelligent systems - Truemper, Klaus (Wiley-Interscience, 2004)