https://123dok.net/document/yevnkw84-a-global-constraint-for-closed-frequent-pattern-mining.html