for titles/abstracts that contain any all of these words: Laura Alcock - Vol. 25 Num. 1 (2005) Using warranted implications to understand and validate proofs34-38