Harald Zankl Nao Hirokawa Aart Middeldorp 173-201 2009 43 J. Autom. Reasoning 2 http://dx.doi.org/10.1007/s10817-009-9131-z db/journals/jar/jar43.html#ZanklHM09