Stable and Extension Class Theory for Logic Programs and Default Logics.

Chitta Baral V. S. Subrahmanian Stable and Extension Class Theory for Logic Programs and Default Logics. 345-366 1992 8 J. Autom. Reasoning 3 db/journals/jar/jar8.html#BaralS92