特に有名な論文としてと共同執筆した論文があり、unique-sat ∈ p ⇒ np＝rpを証明した()。