Xiaodong Qiao, Yinsheng Zhang, Qixian Shi. A Deductive System of Aristotelian Syllogism. In David Al-Dabass, editor, Proceedings of the UKSim 11, International Conference on Computer Modelling and Simulation, Cambridge University, Emmanuel College, Cambridge, UK, 25-27 March 2009. pages 4-8, IEEE, 2009. [doi]
Abstract is missing.