Julienne: A Trace Slicer for Conditional Rewrite Theories | Publicación