TY  - RPRT
TI  - Founded Semantics and Constraint Semantics of Logic Rules
AU  - Yanhong A. Liu
AU  - Scott D. Stoller
PY  - 2020
DO  - 10.1093/logcom/exaa056
UR  - https://arxiv.org/abs/1606.06269
ID  - 1606.06269
ER  -