DESIGN OF LOGIC-BASED INTELLIGENT SYSTEMS - TRUEMPER (WILEY-INTERSCIENCE, 2004)
ALLIED PUBLISHERS