NOVA Math Publications Algebra and Logic Proceedings Paper Lago,UD;Kahle,R;Oitavem,I 46th International Symposium on Mathematical Foundations of Computer Science, MFCS 2021, August 23-27, 2021, Tallinn, Estonia. LIPIcs 2021 202 35:1-35:12 10.4230/lipics.mfcs.2021.35 Tags : Algebra and Logic