Particular algorithm for enumeration

I just wanted to know if there was any reference I could check to understand the exact algorithm that Pyro uses when we use enumeration of the model.
Thank you!

The message-passing algorithm used in TraceEnum_ELBO is described in our ICML 2019 paper “Tensor Variable Elimination for Plated Factor Graphs”

Thank you!
I will try to read it.