Luca ViganĂ². An O(n log n)-Space Decision Procedure for the Relevance Logic B+. Studia Logica, 66(3):385-407, 2000.
@article{Vigano00, title = {An O(n log n)-Space Decision Procedure for the Relevance Logic B+}, author = {Luca ViganĂ²}, year = {2000}, tags = {logic}, researchr = {https://researchr.org/publication/Vigano00}, cites = {0}, citedby = {0}, journal = {Studia Logica}, volume = {66}, number = {3}, pages = {385-407}, }