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