TY  - RPRT
TI  - First-order Logic as a Constraint Programming Language
AU  - K. R. Apt
AU  - C. F. M. Vermeulen
PY  - 2002
UR  - https://arxiv.org/abs/cs/0208032
ID  - cs/0208032
ER  -