Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. Fundamenta Informaticae, 150(1):119-142, 2017. [doi]
@article{FerrariFF17,
title = {JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi},
author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino},
year = {2017},
doi = {10.3233/FI-2017-1462},
url = {http://dx.doi.org/10.3233/FI-2017-1462},
researchr = {https://researchr.org/publication/FerrariFF17},
cites = {0},
citedby = {0},
journal = {Fundamenta Informaticae},
volume = {150},
number = {1},
pages = {119-142},
}