On Principal Types of BCK-

Sabine Broda, Lus Damas

Browse the full WoLLIC paper archive.