Deepak Kapur Paliath Narendran Hantao Zhang Automating Inductionless Induction Using Test Sets. 81-111 1991 11 J. Symb. Comput. 1/2 db/journals/jsc/jsc11.html#KapurNZ91