Design of Logic-bases Intelligent Systems - Truemper, Klaus (New Jesey Wiley, 2006)