Krzysztof R. Apt, C. F. M. Vermeulen: First-Order Logic as a Constraint Programming Language. LPAR 2002: 19-35