TY  - RPRT
TI  - Integrating Datalog and Constraint Solving
AU  - Benoit Desouter
AU  - Tom Schrijvers
PY  - 2013
UR  - https://arxiv.org/abs/1307.4635
ID  - 1307.4635
ER  -