Authors: E.Melis,J.Whittle

Citation: E.melis,j.whittle, Analogy inInductive Theorem Proving, Journal of automated reasoning , 22(2), 1999, pp. 117-147

Authors: E.Melis

Citation: E.melis, The Heine-Borel Challenge Problem. In Honor of Woody Bledsoe, Journal of automated reasoning , 20(3), 1998, pp. 255-282