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, 2011. [doi]
Conference: tableaux2011
@proceedings{tableaux-2011wstsp, title = {TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011}, year = {2011}, url = {https://tr.inf.unibe.ch/pdf/iam-11-002.pdf}, researchr = {https://researchr.org/publication/tableaux-2011wstsp}, cites = {0}, citedby = {0}, booktitle = {TABLEAUX 2011 - Workshops, Tutorials, and Short Papers, Bern, Switzerland, July 4-8, 2011}, conference = {tableaux}, editor = {Martin Giese and Roman Kuznets}, volume = {IAM-11-002}, series = {Technical Report}, }