Raclavský, Jiří, and Petr Kuchyňka. “Conceptual and Derivation Systems”. Logic and Logical Philosophy 20, no. 1-2 (June 30, 2011): 159–174. Accessed July 4, 2024. https://apcz.umk.pl/LLP/article/view/LLP.2011.008.