TitleNiBLoS: a general SMT-based solver for logics of BL-chains
Publication TypeMiscellaneous
Year of Publication2013
AuthorsVidal A, Bou F, Godo L