The Spirit of Bolivia: Complex Behavior Through Minimal Control. - Barry Brian Werger; Pablo Funes; Miguel Schneider-Fontán; Randy Sargent; Carl Witty; Tim Witty (RoboCup, 1997)

Dynamic Object Capture Using Fast Vision Tracking. - Randy Sargent; Bill Bailey; Carl Witty; Anne Wright (AI Mag., 1997)

The importance of fast vision in winning the First Micro-Robot World Cup Soccer Tournament. - Randy Sargent; Bill Bailey; Carl Witty; Anne Wright (Robotics Auton. Syst., 1997)

Tarskian Set Constraints. - Robert Givan; David A. McAllester; Carl Witty; Dexter Kozen (Inf. Comput., 2002)

MetaPRL - A Modular Logical Environment. - Jason Hickey; Aleksey Nogin; Robert L. Constable; Brian E. Aydemir; Eli Barzilay; Yegor Bryukhov; Richard Eaton; Adam Granicz; Alexei Kopylov; Christoph Kreitz; Vladimir Krupski; Lori Lorigo; et al. (TPHOLs, 2003)