A Rewriting Logic Semantics for the Analysis of P Programs | Publicación