Learning pattern languages over groups - Hölzl R. (Elsevier B.V., 2020)
10.1016/j.tcs.2017.12.031