Skip to content

Add reference in documentation of MergeRefToExp

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

Merge request reports

Loading