Raclavský, Jiří, and Petr Kuchyňka. “Conceptual and Derivation Systems”. Logic and Logical Philosophy, vol. 20, no. 1-2, June 2011, pp. 159–174, doi:10.12775/LLP.2011.008.