Mehmet Dincbas Helmut Simonis Pascal Van Hentenryck Solving Large Combinatorial Problems in Logic Programming. 75-93 1990 8 J. Log. Program. 1 db/journals/jlp/jlp8.html#DincbasSH90