@misc{indiciae8c8659acad35, title = {On the Expressibility of Stable Logic Programming}, author = {Victor W. Marek and Jeffrey B. Remmel}, year = {2003}, url = {https://arxiv.org/abs/cs/0312053}, note = {Source identifier: cs/0312053} }