Xiao-Shan Gao, Deepak Kapur. Preface. Journal of Symbolic Computation, 47(6):583-585, 2012. [doi]
@article{GaoK12, title = {Preface}, author = {Xiao-Shan Gao and Deepak Kapur}, year = {2012}, doi = {10.1016/j.jsc.2011.12.020}, url = {http://dx.doi.org/10.1016/j.jsc.2011.12.020}, researchr = {https://researchr.org/publication/GaoK12}, cites = {0}, citedby = {0}, journal = {Journal of Symbolic Computation}, volume = {47}, number = {6}, pages = {583-585}, }