Eliminating duplication with the hyper-linking strategy (1992)

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