Xia Wu, Jigui Sun, Kun Hou. Extension Rule in First Order Logic. In Yiyu Yao, Zhongzhi Shi, Yingxu Wang, Witold Kinsner, editors, Proceedings of the Firth IEEE International Conference on Cognitive Informatics, ICCI 2006, July 17-19, Beijing, China. pages 701-706, IEEE, 2006. [doi]
Abstract is missing.