Deduction, Strategies, and Rewriting | Publicación