Tarek Hamrouni Sadok Ben Yahia Engelbert Mephu Nguifo Succinct Minimal Generators: Theoretical Foundations and Applications. 271-296 2008 19 Int. J. Found. Comput. Sci. 2 http://dx.doi.org/10.1142/S0129054108005681 db/journals/ijfcs/ijfcs19.html#HamrouniYN08