@techreport { 5173, title = {NiBLoS: a general SMT-based solver for logics of BL-chains}, year = {2013}, author = {Amanda Vidal and F\`elix Bou and Llu\'{\i}s Godo} }