Alessandro Cimatti Alberto Griggio Roberto Sebastiani Efficient Generation of Craig Interpolants in Satisfiability Modulo Theories http://arxiv.org/abs/0906.4492 2009 CoRR abs/0906.4492 db/journals/corr/corr0906.html#abs-0906-4492 informal publication