Sven Verdoolaege Kevin Woods Counting with rational generating functions. 75-91 2008 43 J. Symb. Comput. 2 http://dx.doi.org/10.1016/j.jsc.2007.07.007 db/journals/jsc/jsc43.html#VerdoolaegeW08