Design Of Logic Based Intelligent Systems - Truemper,K (Delhi Wiley Eastern Limited, 2004)