Eliminating duplication with the hyperlinking strategy (1992)

by Shie-Jue Lee, David A Plaisted
Venue:Journal of Automated Reasoning