Eliminating duplication with the hyper-linking strategy (1992)

by S J Lee, D A Plaisted
Venue:Journal of Automated Reasoning