Robuta

https://www.numdam.org/item/CTGDC_1998__39_4_287_0/ On the exact completion of the homotopy category on theexact completionhomotopy category