/papers/egraphsearch/proceedingspaper-6126288