@Article{Bar92, Author = "Barker-Plummer, D", Year = "1992", Title = "{Gazing: An Approach to the Problem of Definition and Lemma Use}", Journal = "Journal of Automated Reasoning", Volume = "8", Number = "3", Pages = "311-344", Comment = "TPTPRef" }