Matej Urbas, Mateja Jamnik, Gem Stapleton. Speedith: A Reasoner for Spider Diagrams. Journal of Logic, Language and Information, 24(4):487-540, 2015. [doi]
@article{UrbasJS15,
title = {Speedith: A Reasoner for Spider Diagrams},
author = {Matej Urbas and Mateja Jamnik and Gem Stapleton},
year = {2015},
doi = {10.1007/s10849-015-9229-0},
url = {http://dx.doi.org/10.1007/s10849-015-9229-0},
researchr = {https://researchr.org/publication/UrbasJS15},
cites = {0},
citedby = {0},
journal = {Journal of Logic, Language and Information},
volume = {24},
number = {4},
pages = {487-540},
}