Penalty Logic-Based Representation of C-Revision