Yingxu Wang. The cognitive processes of abstraction and formal inferences. In Proceedings of the 4th IEEE International Conference on Cognitive Informatics (ICCI 2005), August 8-10, 2005, University of California, Irvine, USA. pages 18-26, IEEE, 2005. [doi]