Howard A. Blair, V. Wiktor Marek, John S. Schlipf. The Expressiveness of Locally Stratified Programs. Annals of Mathematics and Artificial Intelligence, 15(2):209-229, 1995.
@article{BlairMS95, title = {The Expressiveness of Locally Stratified Programs}, author = {Howard A. Blair and V. Wiktor Marek and John S. Schlipf}, year = {1995}, researchr = {https://researchr.org/publication/BlairMS95}, cites = {0}, citedby = {0}, journal = {Annals of Mathematics and Artificial Intelligence}, volume = {15}, number = {2}, pages = {209-229}, }