@article{Sofronie-Stokkermans2009-jsc-addct,
TITLE = {Special Issue on Automated Deduction: Decidability, complexity, tractability},
AUTHOR = {Ghilardi, Silvio and Sattler, Ulrike and Sofronie-Stokkermans, Viorica and Tiwari, Ashish},
LANGUAGE = {eng},
ISSN = {0747-7171},
URL = {http//dx.doi.org/10.1016/j.jsc.2009.05.006},
DOI = {10.1016/j.jsc.2009.05.006},
LOCALID = {Local-ID: C125716C0050FB51-1631E1CA39BB1166C1257624002FD3D3-Sofronie-Stokkermans2009-jsc-addct},
PUBLISHER = {Elsevier},
ADDRESS = {Amsterdam},
YEAR = {2010},
DATE = {2010},
JOURNAL = {Journal of Symbolic Computation},
VOLUME = {45},
NUMBER = {2},
PAGES = {151--152},
EID = {-},
}