1. Knowledge Representation, Reasoning and Declarative Problem Solving;Baral,2003
2. Logic programming and knowledge representation;Baral;J. Logic Program.,1994
3. R. Moore, Semantical considerations on nonmonotonic logic, in: Proceedings of the Eight International Joint Conference on Artificial Intelligence, 1983, pp. 272–279.
4. R. Moore, Possible-world semantics in autoepistemic logic, in: Proceedings of the Non-Monotonic Reasoning Workshop, 1984, pp. 344–354.
5. M. Gelfond, On stratified autoepistemic theories, in: Proceedings of the Sixth National Conference on Artificial Intelligence, 1987, pp. 207–211.