Logic, Rewriting, and Concurrency | Publicación