Àngel J. Gil Miki Hermann Gernot Salzer Bruno Zanuttini Efficient Algorithms for Description Problems over Finite Totally Ordered Domains. 922-945 2008 38 SIAM J. Comput. 3 http://dx.doi.org/10.1137/050635900 db/journals/siamcomp/siamcomp38.html#GilHSZ08