TY  - RPRT
TI  - On the Expressibility of Stable Logic Programming
AU  - Victor W. Marek
AU  - Jeffrey B. Remmel
PY  - 2003
UR  - https://arxiv.org/abs/cs/0312053
ID  - cs/0312053
ER  -