递归方案和逻辑反射| IEEE会议出版物| IEEE Xplore