Here's a paper and associated codebase that implements these ideas. https://arxiv.org/abs/1812.05878 https://arxiv.org/abs/1812.05878 https://github.com/timse

Here's a paper and associated codebase that implements these ideas. https://arxiv.org/abs/1812.05878 https://arxiv.org/abs/1812.05878 https://github.com/timsears/SequenceAlgebra https://github.com/timsears/SequenceAlgebra