https://www.illc.uva.nl/Research/Publications/Reports/PP/publication/4383/Subframization-and-stabilization-for-superintuitionistic-logics
Subframization and stabilization for superintuitionistic logics | Institute for Logic, Language and...
stabilizationlogicsinstitutelanguage