Robert Zembowicz Jan M. Zytkow Discovery of Equations: Experimental Evaluation of Convergence. 70-75 1992 AAAI db/conf/aaai/aaai92.html#ZembowiczZ92