First-Order Logic as a Constraint Programming Language.

Krzysztof R. Apt, C. F. M. Vermeulen

Browse the full LPAR paper archive.