Serge Autexier Heiko Mantel Stephan Merz Tobias Nipkow Preface. 191-192 2008 41 J. Autom. Reasoning 3-4 http://dx.doi.org/10.1007/s10817-008-9110-9 db/journals/jar/jar41.html#AutexierMMN08