TY  - RPRT
TI  - Combining Fixed-Point Definitions and Game Semantics in Logic Programming
AU  - Keehang Kwon
PY  - 2015
UR  - https://arxiv.org/abs/1507.07228
ID  - 1507.07228
ER  -