弗朗西斯科·加瓦佐 克劳迪娅·法根 一元改写系统的关系理论，第一部分。 1-14 2021 许可证 https://doi.org/10.109/LICS52264.2021.9470633 conf/lics/2021 db/conf/lics/lics2021.html#GavazzoF21