Saïd Jabbour, Jerry Lonlac, Lakhdar Sais: Extending Resolution by Dynamic Substitution of Boolean Functions. ICTAI 2012: 1029-1034