Kazuhisa Makino A linear time algorithm for recognizing regular Boolean functions. 155-176 2002 43 J. Algorithms 2 http://dx.doi.org/10.1016/S0196-6774(02)00003-2 db/journals/jal/jal43.html#Makino02