@article{baral1992stable, title={Stable and extension class theory for logic programs and default logics}, author={Baral, Chitta R and Subrahmanian, VS}, journal={Journal of Automated Reasoning}, volume={8}, number={3}, pages={345--366}, year={1992}, publisher={Kluwer Academic Publishers} }