"How big is BCI fragment of BCK logic"

Katarzyna Grygiel, Pawel M. Idziak, Marek Zaionc (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics