Matthews, S., & Simpson, A. (1996). Reflection using the derivability conditions. In A., Ursini, & P., Agilanò (Eds.), Logic and Algebra (pp. 603-616). New York, USA: Marcel Dekker.