乔迪·利维 杰姆·阿古斯蒂-卡莱尔 Bi-Rewrite系统。 279-314 1996 22 J.塞姆。计算。 三 db/journals/jsc/jsc22.html#LevyA96 https://doi.org/10.1006/jsco.1996.0053