Greg Sidebottom William S. Havens Nicolog: A Simple Yet Powerful cc(FD) Language. 371-403 1996 17 J. Autom. Reasoning 3 db/journals/jar/jar17.html#SidebottomH96