S. Hara and M. Ishihata, “Approximate and Exact Enumeration of Rule Models”, AAAI, vol. 32, no. 1, Apr. 2018.