@article{BovaMontagna08,
 author = {Simone Bova and
Franco Montagna},
 journal = {{ACM} Trans. Comput. Log.},
 number = {3},
 title = {{Proof search in Hájek's basic logic}},
 volume = {9},
 year = {2008}
}