Quotients of Bounded Natural Functors. - Basil Fürer; Andreas Lochbihler; Joshua Schneider 001; Dmitriy Traytel (Log. Methods Comput. Sci., 2022)