Full Citation:
Simone Bova, Franco Montagna. Proof search in H'ajek’s basic logic. ACM Trans. Comput. Log., volume 9, number 3, 2008.