@article{BEHR2023100893,
 author = {Behr, Nicolas and Harmer, Russ and Krivine, Jean},
 doi = {10.1016/j.jlamp.2023.100893},
 journal = {Journal of Logical and Algebraic Methods in Programming},
 pages = {100893},
 title = {Fundamentals of Compositional Rewriting Theory},
 volume = {135},
 year = {2023}
}