Effective logic computation - Truemper, 1942- (New York John Wiley & Sons, 1998)
Includes bibliographical references and index
Keywords: Logic, Symbolic and mathematical; Operations research; System analysis