Title: Problem specification in constraint logic programming and integer programming
First published: 1995