Behr, Krivine, 2019. Compositionality of Rewriting Rules with Conditions.