DSPACE(n) ? = NSPACE(n): A degree theoretic characterizationReducing the complexity of reductionsReductions in circuit complexity: An isomorphism theorem and a gap theoremThe Boolean Isomorphism Problem