BREAKUP: a preprocessing algorithm for satisfiability testing of CNF formulas. - Robert Cowen; Katherine Wyatt (Notre Dame J. Formal Log., 1993)

Cognitive design of home pages: an experimental study of comprehension on the World Wide Web. - Nikunj P. Dalal; Zane Quible; Katherine Wyatt (Inf. Process. Manag., 2000)