This group is charged with building a theorem prover based on a backward reasoning method, such as tableaux, matrix, or Prolog-technology.
Dan Belov dbelov@andrew Mark Plesko mp5f@cs Dave Swasey swasey@cs Joe Vanderwaart joev@cs Geoff Washburn gw2@andrew