Citkin, Alex. “A Meta-Logic of Inference Rules: Syntax”. Logic and Logical Philosophy, vol. 24, no. 3, Mar. 2015, pp. 313–337, doi:10.12775/LLP.2015.007.