On stratified autoepistemic theories (1987)

by M Gelfond
Venue:In Proceedings of Sixth National Conference on Artificial Intelligence