PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperAssociation control in mobile wireless networksMinkyong Kim, Zhen Liu, et al.INFOCOM 2008
Conference paperAutomatic taxonomy generation: Issues and possibilitiesRaghu Krishnapuram, Krishna KummamuruIFSA 2003