Joohyung Lee, Yunsong Meng. First-Order Stable Model Semantics and First-Order Loop Formulas. J. Artif. Intell. Res. (JAIR), 42:125-180, 2011. [doi]
@article{LeeM11-9, title = {First-Order Stable Model Semantics and First-Order Loop Formulas}, author = {Joohyung Lee and Yunsong Meng}, year = {2011}, url = {http://jair.org/papers/paper3337.html}, researchr = {https://researchr.org/publication/LeeM11-9}, cites = {0}, citedby = {0}, journal = {J. Artif. Intell. Res. (JAIR)}, volume = {42}, pages = {125-180}, }