Learn More
Death receptor-6 (DR6), a member of the death domain-containing TNFR superfamily, is highly expressed in lymphoid tissues and regulated upon lymphocyte activation. Targeted disruption of DR6 results in enhanced CD4(+) T cell proliferation and T helper 2 (Th2) differentiation in vitro, whereas the in vivo role of DR6 in regulating Th2 cell differentiation(More)
Tseitin [3] and Galil [1] have proven that for infinitely manyn there is a set of clausesS(n) of the propositional calculus of lengthn such that any regular resolution proof ofS(n) produces at least 2 cn distinct new clauses for somec>0. We show that it is possible to obtain a much weaker but still non-polynomial bound of 2 clog 2 n by a simpler argument.(More)
  • 1