for titles/abstracts that contain any all of these words: Gabriel J. Stylianides - Vol. 28 Num. 1 (2008) An analytic framework of reasoning-and-proving(part 1)9-16