Equivalence of decision problems | Publicación