Sheila R. M. Veloso, Paulo A. S. Veloso, Paula M. Veloso. A Tool for Analysing Logics. Electronic Notes in Theoretical Computer Science, 269:125-137, 2011. [doi]
@article{VelosoVV11,
title = {A Tool for Analysing Logics},
author = {Sheila R. M. Veloso and Paulo A. S. Veloso and Paula M. Veloso},
year = {2011},
doi = {10.1016/j.entcs.2011.03.010},
url = {http://dx.doi.org/10.1016/j.entcs.2011.03.010},
tags = {logic},
researchr = {https://researchr.org/publication/VelosoVV11},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {269},
pages = {125-137},
}