Provability logics for relative interpretability (1990)

by D de Jongh, F Veltman
Venue:In Mathematical Logic. 31{42