Logic Programming, Functional Programming, and Inductive Definitions. - Lawrence C. Paulson; Andrew W. Smith (ELP, 1989)

A System for Marker-Less Human Motion Estimation. - Bodo Rosenhahn; Uwe G. Kersting; Andrew W. Smith; Jason K. Gurney; Thomas Brox; Reinhard Klette (DAGM-Symposium, 2005)