Implementing logical connectives in constraint programming

Christopher Jefferson, Neil C. A. Moore, Peter Nightingale, Karen E. Petrie. Implementing logical connectives in constraint programming. Artificial Intelligence, 174(16-17):1407-1429, 2010. [doi]