Design:
  George Hagen		Univ. of Iowa	ghagen@cs.uiowa.edu
  Cesare Tinelli	Univ. of Iowa	tinelli@cs.uiowa.edu

Implementation:
  George Hagen		Univ. of Iowa	ghagen@cs.uiowa.edu

