Melvin Fitting. Nested Sequents and Prefixed Tableaus. In Martin Giese, Roman Kuznets, editors, TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011. Volume IAM-11-002 of Technical Report, pages 69, 2011.
@inproceedings{Fitting11-0, title = {Nested Sequents and Prefixed Tableaus}, author = {Melvin Fitting}, year = {2011}, researchr = {https://researchr.org/publication/Fitting11-0}, cites = {0}, citedby = {0}, pages = {69}, booktitle = {TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011}, editor = {Martin Giese and Roman Kuznets}, volume = {IAM-11-002}, series = {Technical Report}, }