TY  - RPRT
TI  - First-Order Stable Model Semantics and First-Order Loop Formulas
AU  - Joohyung Lee
AU  - Yunsong Meng
PY  - 2014
DO  - 10.1613/jair.3337
UR  - https://arxiv.org/abs/1401.3898
ID  - 1401.3898
ER  -