Logic and integer programming - Williams, H.P. (New York Springer, 2009)
Keywords: Logic programming