Raclavský, J., & Kuchyňka, P. (2011). Conceptual and derivation systems. Logic and Logical Philosophy, 20(1-2), 159–174. https://doi.org/10.12775/LLP.2011.008