@ARTICLE{SchmidtPientka10,
AUTHOR = {Schmidt, R. A. and Pientka, B.},
YEAR = {2011},
TITLE = {Preface: Special Issue of Selected Extended Papers of {CADE-22}},
JOURNAL = {Journal of Automated Reasoning},
VOLUME = {47},
NUMBER = {2},
PAGES = {107--109},
DOI = {doi:10.1007/s10817-010-9212-z},
ISBN = {0168-7433},
}