Selected papers that cite this one Juichi Shinoda. Strong polynomial-time reducibility. Annals of Pure and Applied Logic, 84(1):97-117, 6 March 1997.