Paraconsistent Belief Revision based on a formal consistency operator (Rafael R. Testa, Marcelo E. Coniglio, Márcio M. Ribeiro)
