Anil Nerode Jeffrey B. Remmel Complexity-Theoretic Algebra II: Boolean Algebras. 71-99 1989 44 Ann. Pure Appl. Logic 1-2 db/journals/apal/apal44.html#NerodeR89