The ninth volume of the Second Edition contains major contributions on Rewriting Logic as a LogicalProducator: SPRINGER PG