Baudouin Le Charlier, Mêton Mêton Atindehou. A Data Structure to Handle Large Sets of Equal Terms. In James H. Davenport, Fadoua Ghourabi, editors, 7th International Symposium on Symbolic Computation in Software Science, SCSS 2016, Tokyo, Japan, March 28-31, 2016. Volume 39 of EPiC Series in Computing, pages 81-94, EasyChair, 2016. [doi]
Abstract is missing.