TY  - RPRT
TI  - Knowledge of Uncertain Worlds: Programming with Logical Constraints
AU  - Yanhong A. Liu
AU  - Scott D. Stoller
PY  - 2020
DO  - 10.1093/logcom/exaa077
UR  - https://arxiv.org/abs/1910.10346
ID  - 1910.10346
ER  -