Proof of correctness of Ressel's adOPTed algorithm. - Brad Lushman; Gordon V. Cormack (Inf. Process. Lett., 2003)

Hybrid index maintenance for growing text collections. - Stefan Büttcher; Charles L. A. Clarke; Brad Lushman (SIGIR, 2006)

Term proximity scoring for ad-hoc retrieval on very large text collections. - Stefan Büttcher; Charles L. A. Clarke; Brad Lushman (SIGIR, 2006)

A larger decidable semiunification problem. - Brad Lushman; Gordon V. Cormack (PPDP, 2007)