A general revision principle method as a way between the revision principle and the rule interpolation techniques | IEEE Conference Publication | IEEE Xplore