Logic Programming: A Tool for MS/OR? - Bharath, Ramachandran (Interfaces, 1986)