An Introduction to Belief Revision and Knowledge Representation with 2CNF. - Meliza Contreras; Miguel Rodríguez 001; Pedro Bello 001; Bárbara M. González (LA-NMR, 2011)