The Role of Term Symmetry in E-Completion Procedures

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]

Abstract

Abstract is missing.