Hi @nperez,
It's not urgent, but I have opened this merge request following a suggestion that @aho and I discussed about the description of MergeRefToExp functionality. I have added Chung's paper in the references and added a few lines in the description.
Is it correct to add this reference here?
Regards,
Eva