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