PaperA list-oriented extension of the lambda-calculus satisfying the Church-Rosser theoremGyörgy E. RévészTheoretical Computer Science
Conference paperAutomatic taxonomy generation: Issues and possibilitiesRaghu Krishnapuram, Krishna KummamuruIFSA 2003
Conference paperDiscourse segmentation in aid of document summarizationB.K. Boguraev, Mary S. NeffHICSS 2000
Conference paperA fast fanout optimization algorithm for near-continuous buffer librariesDavid S. KungDAC 1998