Design of logic based intelligent systens - Truemper,Klaus