A. Citkin, “A meta-logic of inference rules: Syntax”, LLP, vol. 24, no. 3, pp. 313–337, Mar. 2015.