PaperAutomated Learning of Decision Rules for Text CategorizationChidanand Apté, Fred Damerau, et al.ACM Transactions on Information Systems (TOIS)
PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science