J. Raclavský and P. Kuchyňka, “Conceptual and derivation systems”, LLP, vol. 20, no. 1-2, pp. 159–174, Jun. 2011.