Optimization and computational logic - Macaloon, Ken (Interscience series in discrete mathematics and optimization, 1996)