Logics with definitional reflection rules. - NORIHIRO KAMIDE (Journal of Logic & Computation, 2017)