TY - GEN AU - Simari,Gerardo I. TI - Non prioritized belief revision with AnsProlog ER -