External Links

    Journal: Electronic Colloquium on Computational Complexity (ECCC)

    Volume 4, Issue 55

    0 -- 0Bruce E. Litow. A Decision Method for the Rational Sequence Problem
    runs on