Subrata Mitra G. Sivakumar AC-Equation Solving. 40-56 1991 conf/fsttcs/1991 FSTTCS db/conf/fsttcs/fsttcs91.html#MitraS91 http://dx.doi.org/10.1007/3-540-54967-6_60