Resource bounded reduction by Buhrman