@article{Behr2021compositionalityof,
 author = {Behr, Nicolas and Krivine, Jean},
 doi = {10.32408/compositionality-3-2},
 issn = {2631-4444},
 journal = {Compositionality},
 publisher = {Compositionality},
 title = {Compositionality of {{Rewriting Rules}} with {{Conditions}}},
 volume = {3},
 year = {2021}
}