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