Mauro Ferrari, Camillo Fiorentini, Guido Fiorino. JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi. In Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato, editors, Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014. Volume 1195 of CEUR Workshop Proceedings, pages 46-53, CEUR-WS.org, 2014. [doi]
@inproceedings{FerrariFF14,
title = {JTabWb: a Java Framework for Implementing Terminating Sequent and Tableau Calculi},
author = {Mauro Ferrari and Camillo Fiorentini and Guido Fiorino},
year = {2014},
url = {http://ceur-ws.org/Vol-1195/long3.pdf},
researchr = {https://researchr.org/publication/FerrariFF14},
cites = {0},
citedby = {0},
pages = {46-53},
booktitle = {Proceedings of the 29th Italian Conference on Computational Logic, Torino, Italy, June 16-18, 2014},
editor = {Laura Giordano and Valentina Gliozzi and Gian Luca Pozzato},
volume = {1195},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}