Riccardo Rosati: Minimal Belief and Negation as Failure in Multi-Agent Systems. Ann. Math. Artif. Intell. 37(1-2): 5-32 (2003)