Riccardo Rosati.
Technical report 13.99, Dipartimento di Informatica e Sistemistica, Università di Roma "La Sapienza", 1999.
@String{DIS = "Dipartimento di Informatica e Sistemistica, Universit{\`a} di Roma ``La Sapienza''"} @Techrep{Rosa99f, author = {Rosati, Riccardo}, title = {Reasoning about minimal belief and negation as failure}, institution = DIS, number = {13.99}, year = {1999} , }