Jianyang Zhou Introduction to the constraint language NCL. 71-103 2000 45 J. Log. Program. 1-3 db/journals/jlp/jlp45.html#Zhou00