Ralph W. Wilkerson, Blayne E. Mayfield. The Role of Term Symmetry in E-Completion Procedures. In ACM Conference on Computer Science. pages 134-139, 1990. [doi]
@inproceedings{WilkersonM90, title = {The Role of Term Symmetry in E-Completion Procedures}, author = {Ralph W. Wilkerson and Blayne E. Mayfield}, year = {1990}, doi = {10.1145/100348.100369}, url = {http://doi.acm.org/10.1145/100348.100369}, tags = {e-science}, researchr = {https://researchr.org/publication/WilkersonM90}, cites = {0}, citedby = {0}, pages = {134-139}, booktitle = {ACM Conference on Computer Science}, }