Sarnath Ramnath Peiyi Zhao On the isomorphism of expressions. 97-102 2000 74 Inf. Process. Lett. 3-4 db/journals/ipl/ipl74.html#RamnathZ00 http://dx.doi.org/10.1016/S0020-0190(00)00050-8