Gazing: an Approach to the Problem of Definition and Lemma Use (1992)

by D Barker-Plummer
Venue:Journal of Automated Reasoning