Computing Preferred Safe Beliefs. - Luis A. Montiel; Juan Antonio Navarro Pérez (LA-NMR, 2004)