Simone Bova Franco Montagna Proof Search in Hajek's Basic Logic http://arxiv.org/abs/cs/0605094 2006 CoRR abs/cs/0605094 db/journals/corr/corr0605.html#abs-cs-0605094
