Resource bounded reduction door Buhrman