V. Wiktor Marek, Jeffrey B. Remmel. On the expressibility of stable logic programming. TPLP, 3(4-5):551-567, 2003.
@article{MarekR03, title = {On the expressibility of stable logic programming}, author = {V. Wiktor Marek and Jeffrey B. Remmel}, year = {2003}, tags = {logic programming, programming, logic}, researchr = {https://researchr.org/publication/MarekR03}, cites = {0}, citedby = {0}, journal = {TPLP}, volume = {3}, number = {4-5}, pages = {551-567}, }