DOI,IST REx ID,Research Group,Title of publication
10.1109/FMCAD.2013.6679394,1385,ToHe,Synthesizing multiple boolean functions using interpolation on a single proof