CYCLOPS-1: a second-generation recognition system. - T. Marrill; A. K. Hartley; Thomas G. Evans; Burton H. Bloom; David Michael Ritchie Park; Timothy P. Hart; D. Lucille Darley (AFIPS Fall Joint Computing Conference, 1963)

Resolution Graphs. - Robert A. Yates; Bertram Raphael; Timothy P. Hart (Artif. Intell., 1970)