Optimization and computational logic /Ken McAloon and Carol Trekoff - McAloon, Ken
Includes bibliographical references and index.