Zhiqing Shao Yongqiang Sun Guoxin Song Huiqun Yu Proving Inductive Theorems Using Witnessed Test Sets. 158-164 1998 ICFEM http://computer.org/proceedings/icfem/9198/91980158abs.htm db/conf/icfem/icfem1998.html#ShaoSSY98