@article{Horcik20113992,
title = "Disjunction property and complexity of substructural logics",
journal = "Theoretical Computer Science",
volume = "412",
number = "31",
pages = "3992--4006",
year = "2011",
note = "",
issn = "0304-3975",
doi = "10.1016/j.tcs.2011.04.004",
url = "http://www.sciencedirect.com/science/article/pii/S0304397511002805",
author = "Rostislav Hor{\v{c}}{\'{\i}}k and Kazushige Terui",
keywords = "Substructural logics",
keywords = "Disjunction property",
keywords = "Computational complexity"
}