Hello! I'm one of the authors on this. Feel free to ask me any questions. Happy to clear up any confusion about what we're talking about as well!

Here's a survey paper describing the algorithms used under the hood: https://www.cs.utexas.edu/~swarat/pubs/PGL-049-Plain.pdf