@ARTICLE{KonevSchmidtSchulz10,
AUTHOR = {Konev, B. and Schmidt, R. A. and Schulz, S.},
YEAR = {2010},
TITLE = {Special issue on {P}ractical {A}spects of {A}utomated {R}easoning},
JOURNAL = {AI Communications},
VOLUME = {23},
NUMBER = {2--3},
PAGES = {67--68},
URL = {http://iospress.metapress.com/content/y3v4816705247633/},
}